On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz

History and Philosophy of Logic 43 (1):70-79 (2021)
  Copy   BIBTEX

Abstract

The article explores the following question: which among the most often examined in the literature method of constructing Hilbert-type axiom systems for finite-valued propositional logics of Łukasi...

Categories

Keywords

Reprint years

2022

DOI

10.1080/01445340.2021.1899475

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
Finite-valued reductions of infinite-valued logics.Aguzzoli Stefano & Gerla Brunella - 2002 - Archive for Mathematical Logic 41 (4):361-399.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ.Albert J. J. Anglberger & Jonathan Lukic - 2015 - Studia Logica 103 (5):985-1003.
Proof Systems for 3-valued Logics Based on Gödel’s Implication.Arnon Avron - 2022 - Logic Journal of the IGPL 30 (3):437-453.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.
An algorithm for axiomatizing and theorem proving in finite many-valued propositional logics* Walter A. Carnielli.Proving in Finite Many-Valued Propositional - forthcoming - Logique Et Analyse.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.

Analytics

Added to PP
2021-05-14

Downloads
21 (#741,388)

6 months
12 (#220,085)

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

Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.

View all 12 references / Add more references