A syllogistic system for propositions with intermediate quantifiers
Logic in Computer Science
2018-05-23 v1 Computation and Language
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.
Cite
@article{arxiv.1805.08707,
title = {A syllogistic system for propositions with intermediate quantifiers},
author = {Pasquale Iero and Allan Third and Paul Piwek},
journal= {arXiv preprint arXiv:1805.08707},
year = {2018}
}