An alternative proof of the Hilbert-style axiomatization for the $$\{\wedge,\vee \}$$ { ∧, ∨ } -fragment of classical propositional logic

Archive for Mathematical Logic 61 (5):859-865 (2022)
  Copy   BIBTEX

Abstract

Dyrda and Prucnal gave a Hilbert-style axiomatization for the \-fragment of classical propositional logic. Their proof of completeness follows a different approach to the standard one proving the completeness of classical propositional logic. In this note, we present an alternative proof of Dyrda and Prucnal’s result following the standard arguments which prove the completeness of classical propositional logic.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-022-00815-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Classical Logic through Refutation and Rejection.Achille C. Varzi & Gabriele Pulcini - forthcoming - In Landscapes in Logic (Volume on Philosophical Logics). College Publications.
Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci - 2014 - Perspectives on Science 22 (1):115-132.
Obligation as weakest permission: A strongly complete axiomatization.Frederik van de Putte - 2016 - Review of Symbolic Logic 9 (2):370-379.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
Axiomatizing the monodic fragment of first-order temporal logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
On the Dynamic Logic of Agency and Action.Chrysafis Hartonas - 2014 - Studia Logica 102 (3):441-478.
On the polynomial-space completeness of intuitionistic propositional logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.
A propositional fragment of Le'sniewski's Ontology and its formulation by the tableau method.Arata Ishimoto & M. Kobayashi - 1982 - Studia Logica 41 (2/3):181-195.
Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.

Analytics

Added to PP
2022-02-25

Downloads
6 (#1,453,583)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.

Add more references