Journal: Logica Universalis

Volume 15, Issue 4

399 -- 433John Woods. The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable
435 -- 456Eunsuk Yang, J. Michael Dunn. Implicational Tonoid Logics: Algebraic and Relational Semantics
457 -- 476Eunsuk Yang, J. Michael Dunn. Implicational Partial Galois Logics: Relational Semantics
477 -- 516Paulo Guilherme Santos, Reinhard Kahle. k-Provability in $\hbox {PA}$
517 -- 536Mateusz Klonowski. Axiomatization of Some Basic and Modal Boolean Connexive Logics
537 -- 552Antonino Drago. An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov's 1932 Paper

Volume 15, Issue 3

251 -- 269José-Luis Usó-Doménech, Josué-Antonio Nescolarde-Selva, Lorena Segura-Abad, Kristian Alonso-Stenberg, Hugh Gash. Mathematical Perspectives on Liar Paradoxes
271 -- 289Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias. Paraconsistent Orbits of Logics
291 -- 329Abbas Ahsan. Islamic Contradictory Theology ... Is there any such Thing?
331 -- 357Andrew Schumann. On the Origin of Logical Determinism in Babylonia
359 -- 379Amirouche Moktefi. Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic
381 -- 397Stepan I. Bashmakov. Unification in Pretabular Extensions of S4

Volume 15, Issue 2

123 -- 147Jie Fan. Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
149 -- 152Tin Perkov. A Note on Logicality of Generalized Quantifiers
153 -- 170Marta Vlasáková. What is Identical?
171 -- 191Yale Weiss. A Reinterpretation of the Semilattice Semantics with Applications
193 -- 226Michael Kaminski, Nissim Francez. Calculi for Many-Valued Logics
227 -- 249Alexei Y. Muravitsky. On Nonmonotonic Consequence Relations

Volume 15, Issue 1

1 -- 65Daniel Rönnedal. Quantified Temporal Alethic Boulesic Doxastic Logic
67 -- 85Yaroslav I. Petrukhin, Vasilyi Shangin. Correspondence Analysis for Some Fragments of Classical Propositional Logic
87 -- 121Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías. Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$