Can I read A Syllogistic System for Propositions with Intermediate Quantifiers on EtoBox?

A Syllogistic System for Propositions with Intermediate Quantifiers by Iero, Pasquale; Third, Allan; Piwek, Paul is a scholarly article available to read on EtoBox.

What is A Syllogistic System for Propositions with Intermediate Quantifiers about?

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.

Author

Iero, Pasquale; Third, Allan; Piwek, Paul

Published

2018

Language

EN