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

DOI10.1007/S00153-022-00815-9OpenAlexW4213419941MaRDI QIDQ2155505FDOQ2155505

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

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

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)

Cites Work

• A survey of abstract algebraic logic
• Title not available (Why is that?)
• Algebraic logic for classical conjunction and disjunction
• Abstract algebraic logic. An introductory textbook
• Title not available (Why is that?)
• Title not available (Why is that?)

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)