The Trolley Problem Game presents the classic moral dilemma as an interactive game.
Logitext
The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
About Logitext
Logitext is an interactive web tutorial of the sequent calculus hosted at MIT. It explains a simple set of inference rules used to show whether statements in first-order logic are true. The material introduces notation and terminology used for sequents, axioms, and backwards deduction.
You can work through interactive examples directly in the browser. Clicking on a clause applies a rule: atomic clauses appearing on both sides of the turnstile close as axioms, while clauses with logical operators generate further goals to prove. Technical terms are underlined and show definitions on mouse-over, and you can reset an example by clicking the turnstile symbol (⊢).
The tutorial suits readers with some background in writing software and knowledge of basic boolean logic. It walks through hypotheses on the left, conclusions on the right, and how commas, quantifiers, and operators are handled.
Key features
- Interactive sequent calculus examples with clickable clauses
- Mouse-over definitions for underlined technical terms
- Reset examples by clicking turnstile symbol
- Backwards deduction that breaks operators into subgoals
- Covers axioms, hypotheses, conclusions and inference rules
Best for: Readers with software experience and basic boolean logic who want to learn sequent calculus.
Good for
- Interactive examples for each concept
- Built-in definitions for technical terms
- Assumes only basic boolean logic
Watch out for
- Requires background in software and boolean logic
Logitext at a glance
- Website
- logitext.mit.edu/tutorial
- Category
- Education & Learning › History & Humanities
- Type
- Website
- Pricing
- Not confirmed. Check the site
- Platforms
- Web
- Open source
- Not stated
- Language
- English
- Last checked
- Oct 6, 2026 · Online when checked
- Listed
- Oct 5, 2026
Logitext alternatives
Tools and sites you could use instead, ranked by how closely they match.
Histography displays historical events from Wikipedia on an interactive timeline.
Visualizing SEP provides interactive visualizations and search across the Stanford Encyclopedia of Philosophy.
OEC provides interactive visualizations that help users examine global trade data.
Lizard Point offers more than 200 interactive map quizzes on countries, states, cities, rivers, and flags.
Search and filter a catalog of pride flags with this interactive identification guide.
Popular in History & Humanities
Well-known listings from the same topic.
Stanford Encyclopedia of Philosophyplato.stanford.edu/index.htmlPessimistsArchivepessimistsarchive.orgVGA Museumvgamuseum.infoABookOfCreaturesabookofcreatures.comU-boat Archiveuboatarchive.netGovTrackgovtrack.us
Logitext FAQ
What does Logitext teach?
It teaches how to use the sequent calculus to show the truth of statements in first-order logic.
Who is the tutorial for?
It is geared toward people with some background in writing software and knowledge of basic boolean logic.
How do the interactive examples work?
You click on clauses to apply rules, and clicking a clause with an operator creates further goals to prove. You can reset an example by clicking the turnstile symbol (⊢).
Is something wrong or out of date?
Tell us and an editor will check it.
Own this website?
Claim this listing
Claim the listing and suggest updates yourself. An editor checks every claim first.