researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Logica Universalis
Home
Index
Info
Volume
Volume
15
, Issue
4
399
--
433
John Woods
.
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable
435
--
456
Eunsuk Yang
,
J. Michael Dunn
.
Implicational Tonoid Logics: Algebraic and Relational Semantics
457
--
476
Eunsuk Yang
,
J. Michael Dunn
.
Implicational Partial Galois Logics: Relational Semantics
477
--
516
Paulo Guilherme Santos
,
Reinhard Kahle
.
k-Provability in $\hbox {PA}$
517
--
536
Mateusz Klonowski
.
Axiomatization of Some Basic and Modal Boolean Connexive Logics
537
--
552
Antonino Drago
.
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov's 1932 Paper
Volume
15
, Issue
3
251
--
269
José-Luis Usó-Doménech
,
Josué-Antonio Nescolarde-Selva
,
Lorena Segura-Abad
,
Kristian Alonso-Stenberg
,
Hugh Gash
.
Mathematical Perspectives on Liar Paradoxes
271
--
289
Edelcio G. de Souza
,
Alexandre Costa-Leite
,
Diogo H. B. Dias
.
Paraconsistent Orbits of Logics
291
--
329
Abbas Ahsan
.
Islamic Contradictory Theology ... Is there any such Thing?
331
--
357
Andrew Schumann
.
On the Origin of Logical Determinism in Babylonia
359
--
379
Amirouche Moktefi
.
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic
381
--
397
Stepan I. Bashmakov
.
Unification in Pretabular Extensions of S4
Volume
15
, Issue
2
123
--
147
Jie Fan
.
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
149
--
152
Tin Perkov
.
A Note on Logicality of Generalized Quantifiers
153
--
170
Marta Vlasáková
.
What is Identical?
171
--
191
Yale Weiss
.
A Reinterpretation of the Semilattice Semantics with Applications
193
--
226
Michael Kaminski
,
Nissim Francez
.
Calculi for Many-Valued Logics
227
--
249
Alexei Y. Muravitsky
.
On Nonmonotonic Consequence Relations
Volume
15
, Issue
1
1
--
65
Daniel Rönnedal
.
Quantified Temporal Alethic Boulesic Doxastic Logic
67
--
85
Yaroslav I. Petrukhin
,
Vasilyi Shangin
.
Correspondence Analysis for Some Fragments of Classical Propositional Logic
87
--
121
Alejandro 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}$