Back to Results
First PageMeta Content
Logic / Classical logic / Arguments / Term logic / Syllogism / Rules of inference / Propositional calculus / Axiom / Hypothetical syllogism / Disjunctive syllogism / Inference / First-order logic


Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l
Add to Reading List

Document Date: 2015-10-12 12:39:56


Open Document

File Size: 340,62 KB

Share Result on Facebook