INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

DOI10.1017/bsl.2018.59zbMath1477.03006OpenAlexW2963169263MaRDI QIDQ5226594

Roy Dyckhoff

Publication date: 1 August 2019

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/18167

zbMATH Keywords

syllogismdeductionindirect proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

Related Items (1)

The notion of diagrammatic isomorphism in Venn-Peirce diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness of an ecthetic syllogistic
• A completed system for Robin Smith's incomplete ecthetic syllogistic
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• What is a syllogism?
• Aristotle's Syllogistic and Core Logic
• The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• The Great Formal Machinery Works
• Completeness of an ancient logic

This page was built for publication: INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS