scientific article; zbMATH DE number 3972841

MaRDI QIDQ3739110zbMATH OpenFDO

Authors Shotaro Tanaka

Publication date 1985

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• On axiom systems of propositional calculi, XXIII
• scientific article; zbMATH DE number 650883
• scientific article; zbMATH DE number 124098
• A proof of completeness of the two-valued propositional calculus
• scientific article; zbMATH DE number 120344

Cited in

(6)

• On an axiom of predicate calculus from ``Gödel's incompleteness theorems by R. Smullyan
• RETRPROV. A system that looks for axioms
• A Couple of Novelties in the Propositional Calculus
• scientific article; zbMATH DE number 1471997 (Why is no real title available?)
• On axiom systems of propositional calculi, XXIII
• New axioms for immediate acceptance

This page was built for publication:

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