Arithmetizations of Syllogistic à la Leibniz

DOI10.1080/11663081.1999.10510975zbMath0991.03010OpenAlexW2020590024WikidataQ123328141 ScholiaQ123328141MaRDI QIDQ4531585

Vladimir Sotirov

Publication date: 2 July 2002

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510975

zbMATH Keywords

Boolean algebrasyllogismAristotelian syllogisticarithmetic of natural numbers

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Equivalential structures for binary and ternary syllogistics ⋮ Natural density and the quantifier ``most ⋮ Leibnizian Intensional Semantics for Syllogistic Reasoning

Cites Work

• Set containment inference and syllogisms
• Generalized quantifiers and modal logic
• On the interpretation of Aristotelian syllogistic

This page was built for publication: Arithmetizations of Syllogistic à la Leibniz