Non-classical syllogistic inference and the method of resolution

DOI10.1305/NDJFL/1093634653zbMATH Open0789.03004OpenAlexW2024983014MaRDI QIDQ1309330FDOQ1309330

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

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

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)

Cited In (2)

• Fred Sommers' contributions to formal logic
• Powerful features of the modern syllogistic method of propositional 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)