An alternative proof of the Hilbert-style axiomatization for the \,\-fragment of classical propositional logic

DOI10.1007/S00153-022-00815-9MaRDI QIDQ2155505zbMATH OpenOpenAlexFDO

Authors Luciano J. González

Publication date 15 July 2022

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-022-00815-9

zbMATH Keywords

completenessclassical logicdistributive latticeconjunction-disjunction

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27)

Recommendations

• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• Merging fragments of classical logic
• A proof system for classical logic
• The axiomatization of propositional logic
• Formalized proof systems for propositional logic

Cites work

• scientific article; zbMATH DE number 3677793 (Why is no real title available?)
• scientific article; zbMATH DE number 3704555 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraic logic for classical conjunction and disjunction

This page was built for publication: An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic

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