scientific article; zbMATH DE number 5356414

MaRDI QIDQ3533560zbMATH OpenFDO

Authors Grzegorz Bryll, Robert Sochacki

Publication date 23 October 2008

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Recommendations

• Comparison of several proof systems of intuitionistic propositional logic
• scientific article; zbMATH DE number 1932898
• scientific article; zbMATH DE number 3859091
• Completeness theory for propositional logics
• Post completeness in congruential modal logics
• Proof Theory for Casari's Comparative Logics
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Some Completeness Results for Propositional Conditional Logics
• scientific article; zbMATH DE number 1059316
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

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