Journal of Logic and Computation 29 (1):125-156 (2019)
| Authors |
|
| Abstract |
In this paper we consider the logics
|
| Keywords | maximal and strongly maximal logics matrix logics finite-valued Lukasiewicz logics recovery operators logics of formal incnsistency paraconsistent logics MV-algebras quasivarieties |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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.
An Alternative Approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Maximal Weakly-Intuitionistic Logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.
View all 10 references / Add more references
Citations of this work BETA
Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
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 index
2018-04-07
Total views
120 ( #80,640 of 2,403,714 )
Recent downloads (6 months)
26 ( #31,010 of 2,403,714 )
2018-04-07
Total views
120 ( #80,640 of 2,403,714 )
Recent downloads (6 months)
26 ( #31,010 of 2,403,714 )
How can I increase my downloads?
Downloads
