Graduate studies at Western
Studia Logica 46 (4):283 - 289 (1987)
|Abstract||The present paper is to be considered as a sequel to , . 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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Josep 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.
Added to index2009-01-28
Total downloads2 ( #246,187 of 730,737 )
Recent downloads (6 months)0
How can I increase my downloads?