Logitext

An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.

Website Featured Directory import
0 shouts Added Sep 23, 2026 logitext.mit.edu
logitext.mit.edu/tutorial
Preview unavailable

Screenshot unavailable. The listing stays available while a preview is prepared.

Features

Uses

  • geared towards anyone with some background in writing software for computers Source: logitext.mit.edu

Links

Tags