Maximal weakly-intuitionistic logics
Studia Logica 55 (1):181 - 203 (1995)
Abstract
This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].Author's Profile
DOI
10.1007/bf01053037
My notes
Similar books and articles
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
Analytics
Added to PP
2009-01-28
Downloads
40 (#294,214)
6 months
2 (#300,644)
2009-01-28
Downloads
40 (#294,214)
6 months
2 (#300,644)
Historical graph of downloads
Author's Profile
Citations of this work
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Hybridized Paracomplete and Paraconsistent Logics.Colin Caret - 2017 - Australasian Journal of Logic 14 (1):281-325.
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
Genuine paracomplete logics.Verónica Borja Macías, Marcelo E. Coniglio & Alejandro Hernández-Tello - forthcoming - Logic Journal of the IGPL.
The dialogical approach to paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
References found in this work
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.