John Cook Wilson's hanging plants: a contribution to the history of early logic trees

DOI10.1007/978-3-031-15146-0_29zbMath1524.03003OpenAlexW4294837808MaRDI QIDQ6108759

Dave Beisecker, Amirouche Moktefi

Publication date: 26 July 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15146-0_29

zbMATH Keywords

treesLewis Carrollsoriteslogic diagramJohn Cook Wilson

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Cites Work

• Unnamed Item
• Unnamed Item
• Tree proofs for syllogistic
• Toward a visual proof system: Lewis Carroll's method of trees
• Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
• The Mathematical World of Charles L. Dodgson (Lewis Carroll)
• La logique symbolique en débat à Oxford à la fin du dix-neuvième siècle : Les disputes logiques de Lewis Carroll et John Cook Wilson
• Regions of Force: Peirce, Frege, Carroll, and Bilateral Proof Trees

This page was built for publication: John Cook Wilson's hanging plants: a contribution to the history of early logic trees