Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras Ciro Russo OriginalPaper 07 March 2022 Pages: 355 - 380
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic Christian FermüllerTimo LangAlexandra Pavlova OriginalPaper Open access 07 March 2022 Pages: 221 - 235
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences María del Rosario Martínez-Ordaz OriginalPaper 16 February 2022 Pages: 335 - 354
Tableaux for Logics of Content Relationship and Set-Assignment Semantics Tomasz JarmużekMateusz Klonowski OriginalPaper Open access 16 February 2022 Pages: 195 - 219
Modal Definability: Two Commuting Equivalence Relations Yana RumenovaTinko Tinchev OriginalPaper 08 February 2022 Pages: 177 - 194
A Pragmatic Dissolution of Curry’s Paradox Rafael Félix Mora Ramirez OriginalPaper 07 February 2022 Pages: 149 - 175
On Induction Principles for Partial Orders Ievgen Ivanov OriginalPaper 02 February 2022 Pages: 105 - 147
A Probabilistic Logic Between \(LPP_1\) and \(LPP_2\) Šejla Dautović OriginalPaper 01 February 2022 Pages: 323 - 333
A Universal Algebraic Set Theory Built on Mereology with Applications Ioachim Drugus OriginalPaper 01 February 2022 Pages: 253 - 283
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper Antonino Drago OriginalPaper 02 December 2021 Pages: 537 - 552
Axiomatization of Some Basic and Modal Boolean Connexive Logics Mateusz Klonowski OriginalPaper Open access 13 November 2021 Pages: 517 - 536
Implicational Partial Galois Logics: Relational Semantics Eunsuk YangJ. Michael Dunn OriginalPaper 11 October 2021 Pages: 457 - 476
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable John Woods OriginalPaper 30 September 2021 Pages: 399 - 433
Implicational Tonoid Logics: Algebraic and Relational Semantics Eunsuk YangJ. Michael Dunn OriginalPaper 25 September 2021 Pages: 435 - 456
On the Origin of Logical Determinism in Babylonia Andrew Schumann OriginalPaper Open access 16 August 2021 Pages: 331 - 357
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic Amirouche Moktefi OriginalPaper 09 August 2021 Pages: 359 - 379
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings Bama SrinivasanRanjani Parthasarathi OriginalPaper 06 August 2021 Pages: 27 - 55
Unification in Pretabular Extensions of S4 Stepan I. Bashmakov OriginalPaper 04 August 2021 Pages: 381 - 397
Completeness: From Husserl to Carnap Víctor Aranda OriginalPaper Open access 22 July 2021 Pages: 57 - 83
Islamic Contradictory Theology . . . Is there any such Thing? Abbas Ahsan OriginalPaper 21 July 2021 Pages: 291 - 329
Paraconsistent Orbits of Logics Edelcio G. de SouzaAlexandre Costa-LeiteDiogo H. B. Dias OriginalPaper 08 July 2021 Pages: 271 - 289
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus Zvonimir Šikić OriginalPaper 17 June 2021 Pages: 11 - 26
k-Provability in \(\hbox {PA}\) Paulo Guilherme SantosReinhard Kahle OriginalPaper Open access 09 June 2021 Pages: 477 - 516
Mathematical Perspectives on Liar Paradoxes José-Luis Usó-DoménechJosué-Antonio Nescolarde-SelvaHugh Gash OriginalPaper 29 May 2021 Pages: 251 - 269
Calculi for Many-Valued Logics Michael KaminskiNissim Francez OriginalPaper 14 May 2021 Pages: 193 - 226
A Reinterpretation of the Semilattice Semantics with Applications Yale Weiss OriginalPaper 16 April 2021 Pages: 171 - 191
A Note on Logicality of Generalized Quantifiers Tin Perkov OriginalPaper 26 March 2021 Pages: 149 - 152
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations Jie Fan OriginalPaper 13 March 2021 Pages: 123 - 147
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics \(\mathbf {L3A_G}\) and \(\mathbf {L3B_G}\) Alejandro Hernández-TelloMiguel Pérez-GasparVerónica Borja Macías OriginalPaper 28 February 2021 Pages: 87 - 121
Correspondence Analysis for Some Fragments of Classical Propositional Logic Yaroslav PetrukhinVasilyi Shangin OriginalPaper 03 February 2021 Pages: 67 - 85
Quantified Temporal Alethic Boulesic Doxastic Logic Daniel Rönnedal OriginalPaper Open access 06 November 2020 Pages: 1 - 65
Constrained Pseudo-Propositional Logic Ahmad-Saher Azizi-Sultan OriginalPaper 05 November 2020 Pages: 523 - 535
Graded Structures of Opposition in Fuzzy Natural Logic Petra Murinová OriginalPaper 28 October 2020 Pages: 495 - 522
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations Pawel Pawlowski OriginalPaper Open access 16 October 2020 Pages: 407 - 420
Encoding Complete Metric Structures by Classical Structures Nathanael Leedom Ackerman OriginalPaper 25 September 2020 Pages: 421 - 459
Bases for Structures and Theories II Jeffrey Ketland OriginalPaper Open access 21 September 2020 Pages: 461 - 479
Composition of Deductions within the Propositions-As-Types Paradigm Ivo Pezlar OriginalPaper 02 September 2020 Pages: 481 - 493
Logical Rules as Fractions and Logics as Sketches Dominique Duval OriginalPaper 01 August 2020 Pages: 395 - 405
Farewell to Suppression-Freedom Tore Fjetland Øgaard OriginalPaper Open access 30 July 2020 Pages: 297 - 330
Measuring Inconsistency in Generalized Propositional Logic John Grant OriginalPaper 25 July 2020 Pages: 331 - 356
Numerical Existence Property and Categories with an Internal Copy Samuele Maschio OriginalPaper Open access 24 July 2020 Pages: 383 - 394
Bases for Structures and Theories I Jeffrey Ketland OriginalPaper Open access 20 July 2020 Pages: 357 - 381
The Normal and Self-extensional Extension of Dunn–Belnap Logic Arnon Avron OriginalPaper 25 May 2020 Pages: 281 - 296
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice David W. Miller Publisher Correction 22 April 2020 Pages: 279 - 279
Essential Structure of Proofs as a Measure of Complexity Jaime RamosJoão RasgaCristina Sernadas OriginalPaper 07 April 2020 Pages: 209 - 242
