Non-classical syllogistic inference and the method of resolution

DOI10.1305/NDJFL/1093634653zbMath0789.03004OpenAlexW2024983014MaRDI QIDQ1309330

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)

Related Items (1)

Fred Sommers’ Contributions to Formal Logic

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