Maximality in finite-valued Lukasiewicz logics defined by order filters
Journal of Logic and Computation 29 (1):125-156 (2019)
Abstract
In this paper we consider the logicsAuthor's Profile
My notes
Similar books and articles
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
A method to single out maximal propositional logics with the disjunction property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
Finite-valued reductions of infinite-valued logics.Aguzzoli Stefano & Gerla Brunella - 2002 - Archive for Mathematical Logic 41 (4):361-399.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Analytics
Added to PP
2018-04-07
Downloads
191 (#67,579)
6 months
22 (#51,744)
2018-04-07
Downloads
191 (#67,579)
6 months
22 (#51,744)
Historical graph of downloads
Author's Profile
Citations of this work
Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
References found in this work
How a computer should think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
Dynamic dialectical logics.Diderik Batens - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 187--217.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.