Hypothetical syllogism

#	Item
1	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 Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic
2	ISSN[removed], Volume 4, Number 1 This article was published in the above mentioned Springer issue. The material, including all portions thereof, is protected by copyright; all rights are held exclusively by Springer S Add to Reading List Source URL: www.members.tripod.com Language: English - Date: 2010-06-28 22:36:22 Logical consequence Arguments Non-classical logic Disjunctive syllogism Modus ponens Alan Ross Anderson Hypothetical syllogism Relevance logic Entailment Logic Rules of inference Deduction
3	PDF Document Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-09-09 20:50:02 Mathematics Modus ponens Modus tollens Propositional calculus Disjunctive syllogism Hypothetical syllogism PDP-8 Function Simplification Rules of inference Logic Mathematical logic