AI Chat AI Image Generator AI Video Text to Speech

A syllogistic system for propositions with intermediate quantifiers

05/18/2018

∙

by Pasquale Iero, et al.

∙

∙

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.

Pasquale Iero
1 publication
Allan Third
3 publications
Paul Piwek
2 publications

page 1

page 2

page 3

page 4

research

∙ 10/14/2021

First-Order Modal ξ-Calculus

This paper proposes first-order modal ξ-calculus as well as genealogical...

0 Xinyu Wang, et al. ∙

research

∙ 11/10/2022

Taylor Expansion Finitely Simulates Infinitary β-Reduction

Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expan...

0 Rémy Cerda, et al. ∙

research

∙ 07/13/2012

Probabilistic Event Calculus for Event Recognition

Symbolic event recognition systems have been successfully applied to a v...

0 Anastasios Skarlatidis, et al. ∙

research

∙ 10/23/2020

Proof-theoretic aspects of NLλ

We present a proof-theoretic analysis of the logic NLλ (Barker & Shan 20...

0 Richard Moot, et al. ∙

research

∙ 08/20/2018

A continuum of incomplete intermediate logics

This paper generalizes the 1977 paper of V.B. Shehtman, which constructe...

0 Tadeusz Litak, et al. ∙

research

∙ 02/18/2019

Intermediate efficiency of tests under heavy-tailed alternatives

We show that for local alternatives which are not square integrable the ...

0 Tadeusz Inglot, et al. ∙

research

∙ 10/10/2018

Hint Orchestration Using ACL2's Simplifier

This paper describes a strategy for providing hints during an ACL2 proof...

0 Sol Swords, et al. ∙