2000 character limit reached
A syllogistic system for propositions with intermediate quantifiers (1805.08707v1)
Published 18 May 2018 in cs.LO and cs.CL
Abstract: This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expressed in a concise form making use of and extending the Monotonicity Calculus. Contradictory and contrary relationships are added so that deduction can derive propositions expressing a form of negation.