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
resolutioncancellation-cum- substitutionderived rules of natural deduction for first-order predicate logicnon-classical syllogistic inferences
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)
Cited In (2)
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)