A legacy recalled and a tradition continued

DOI10.1023/A:1010683508225zbMATH Open1006.03009MaRDI QIDQ5951525FDOQ5951525

Authors: Dolph Ulrich 

Publication date: 7 January 2002

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

Recommendations

• More proofs of an axiom of Łukasiewicz
• Frege and the resolution calculus
• scientific article; zbMATH DE number 3204592
• Conquering the Meredith single axiom
• scientific article; zbMATH DE number 1696784

zbMATH Keywords

automated reasoningopen problemsformal proofscondensed detachmentsingle axiomssentential logicsentential calculi

Mathematics Subject Classification ID

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

Cited In (8)

• Basis reduction for cryptogroups and orthogroups
• Learning from Łukasiewicz and Meredith: investigations into proof structures
• Computer solutions of problems in inverse semigroups.
• Investigations into proof structures
• Title not available (Why is that?)
• Lemmas: generation, selection, application
• Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
• Double-negation elimination in some propositional logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951525)