Tree proofs for syllogistic

DOI10.1007/BF00370206zbMath0707.03004OpenAlexW2072432163MaRDI QIDQ918950

Peter M. Simons

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf00370206

zbMATH Keywords

syllogistictree-proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) History of Greek and Roman mathematics (01A20)

Related Items (2)

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

Cites Work

• Unnamed Item

This page was built for publication: Tree proofs for syllogistic