A legacy recalled and a tradition continued

DOI10.1023/A:1010683508225zbMath1006.03009MaRDI QIDQ5951525

Dolph Ulrich

Publication date: 7 January 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

sentential logicautomated reasoningformal proofsopen problemscondensed detachmentsentential calculisingle axioms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items (5)

Basis reduction for cryptogroups and orthogroups ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ Double-negation elimination in some propositional logics

This page was built for publication: A legacy recalled and a tradition continued