Non-classical syllogistic inference and the method of resolution

DOI10.1305/NDJFL/1093634653MaRDI QIDQ1309330zbMATH OpenOpenAlexFDO

Authors Aris Noah

Publication date 6 December 1993

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093634653

zbMATH Keywords

resolutioncancellation-cum- substitutionderived rules of natural deduction for first-order predicate logicnon-classical syllogistic inferences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4027425
• scientific article; zbMATH DE number 517062
• A matricial vue of classical syllogistic and an extension of the rules of valid syllogism to rules of conclusive syllogisms with indefinite terms
• Syllogistic with Indefinite Terms
• The syllogistic with unity

Cited in

(2)

• Powerful features of the modern syllogistic method of propositional logic
• Fred Sommers' contributions to formal logic

This page was built for publication: Non-classical syllogistic inference and the method of resolution

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