Formalized deduction of quantifier-expanded syllogisms

MaRDI QIDQ6939848zbMATH OpenFDO

Authors Yinsheng Zhang

Publication date 20 August 2025

Published in Unnamed Author (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

Turing machineautomated reasoninginconsistencyformal systemparticular quantifiercategorical propositionpartial quantifier0-type grammarquantifier-expanded syllogism

Mathematics Subject Classification ID

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

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)