Calculemus

DOI10.1305/ndjfl/1093882950zbMath0299.02009OpenAlexW4247426698MaRDI QIDQ1214905

William H. Friedman

Publication date: 1980

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

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

zbMATH Keywords

propositional logicphilosophical logicsyllogistic logicmultiplicative decision procedure

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Categoricity and completeness of theories (03C35)

Related Items (2)

Effective homology of bicomplexes, formalized in Coq ⋮ Leibnizian Intensional Semantics for Syllogistic Reasoning

This page was built for publication: Calculemus