Formalized deduction of quantifier-expanded syllogisms

MaRDI QIDQ6939848zbMATH OpenFDO

Authors Yinsheng Zhang

Publication date 20 August 2025

Published in Journal of Multiple-Valued Logic and Soft Computing (Search for Journal in Brave)

Full work available at URL https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-41-number-3-5-2023/mvlsc-41-3-5-p-417-440/

zbMATH Keywords

0-type grammarautomated reasoningcategorical propositionformal systeminconsistencypartial quantifierparticular quantifierquantifier-expanded syllogismTuring machine

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)

Cites work

• Aristotelian syllogisms and generalized quantifiers
• Generality and existence: quantificational logic in historical perspective
• Harmonization, dualization and globalization of categorical propositions
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• Improvements of categorical propositions on consistency and computability
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Syllogism and quantification
• The Syllogism's Final Solution

This page was built for publication: Formalized deduction of quantifier-expanded syllogisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6939848)