Toward a visual proof system: Lewis Carroll's method of trees

DOI10.1007/s11787-012-0049-6zbMath1267.01028OpenAlexW2031992410MaRDI QIDQ1942098

Francine F. Abeles

Publication date: 15 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0049-6

zbMATH Keywords

Lewis CarrollCharles Dodgsontree proofs

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

John Cook Wilson's hanging plants: a contribution to the history of early logic trees ⋮ Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic ⋮ Aristotelian Logic Axioms in Propositional Logic: The Pouch Method

Cites Work

• Lewis Carroll's visual logic
• Lewis Carroll's Formal Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item