On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic
Studia Logica 46 (4):283 - 289 (1987)
| Abstract | The present paper is to be considered as a sequel to [1], [2]. It is known that Johansson's minimal logic is not uniform, i.e. there is no single matrix which determines this logic. Moreover, the logic C J is 2-uniform. It means that there are two uniform logics C 1, C 2 (each of them is determined by a single matrix) such that the infimum of C 1 and C 2 is C J. The aim of this paper is to give a detailed description of the logics C 1 and C 2. It is performed in a lattice-theoretical language. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJosep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Larisa Maksimova (2011). Interpolation and Definability Over the Logic Gl. Studia Logica 99 (1-3):249-267.
José M. Méndez, Francisco Salto & Gemma Robles (2007). El Sistema Bp+ : Una Lógica Positiva Mínima Para la Negación Mínima (the System Bp+: A Minimal Positive Logic for Minimal Negation). Theoria 22 (1):81-91.
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Jacek Hawranek & Jan Zygmunt (1981). On the Degree of Complexity of Sentential Logics. A Couple of Examples. Studia Logica 40 (2):141 - 153.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
