scientific article; zbMATH DE number 1471997

zbMATH Open0957.03011MaRDI QIDQ4489081FDOQ4489081

Authors: Dolph Ulrich 

Publication date: 9 July 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4063061
• scientific article; zbMATH DE number 6290298
• Nice implicational axioms
• scientific article; zbMATH DE number 3847364
• Simplified Axiom Schemes for Implication and Iterated Implication
• Axiomatizing complete positivity
• A new semantics for positive modal logic
• scientific article; zbMATH DE number 3972841
• A new axiomatization of Belnap's conditional assertion
• New axiomatization of Lewis' conditional logics

zbMATH Keywords

implicational fragmentintuitionistic sentential calculussingle axiom

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (3)

• New axioms for immediate acceptance
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• Nice implicational axioms

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 Q4489081)