Enriched Quantales Arising from Complete Orthomodular Lattices Soroush Rafiee RadJoshua SackShengyang Zhong OriginalPaper 06 June 2024
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics Vít PunčochářMarta BílkováThomas M. Ferguson OriginalPaper 21 May 2024
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension Ivan ChajdaHelmut Länger OriginalPaper Open access 03 May 2024
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness Marcelo E. ConiglioG. T. Gomez–PereiraMartín Figallo OriginalPaper 03 May 2024
Categorical Proof-theoretic Semantics David PymEike RitterEdmund Robinson OriginalPaper Open access 03 May 2024
Paraconsistency in Non-Fregean Framework Joanna Golińska-Pilarek OriginalPaper Open access 03 May 2024
On Weak Lewis Distributive Lattices Ismael CalominoSergio A. CelaniHernán J. San Martín OriginalPaper 03 May 2024
Propositional Type Theory of Indeterminacy Víctor ArandaManuel MartinsMaría Manzano OriginalPaper Open access 03 May 2024
On a Generalization of Heyting Algebras I Amirhossein Akbar TabatabaiMajid AlizadehMasoud Memarzadeh OriginalPaper 03 May 2024
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook). Matteo de Ceglie Book Reviews 25 April 2024
On a First-Order Bi-Sorted Semantically Closed Language Fernanda Birolli AbrahãoEdelcio Gonçalves de Souza OriginalPaper 25 April 2024
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D Tomasz Skura OriginalPaper 25 April 2024
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic Vladimir KanoveiVassily Lyubetsky OriginalPaper 24 April 2024
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic Bruno Da RéDamian SzmucMaría Inés Corbalán OriginalPaper 18 March 2024
Finite Hilbert Systems for Weak Kleene Logics Vitor GreatiSérgio MarcelinoUmberto Rivieccio OriginalPaper Open access 16 March 2024
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic Minghui MaJuntong Guo OriginalPaper 06 March 2024
Angell and McCall Meet Wansing Hitoshi OmoriAndreas Kapsner OriginalPaper Open access 17 February 2024 Pages: 141 - 165
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs Funmilola BalogunBenedikt Löwe OriginalPaper Open access 16 February 2024
Ecumenical Propositional Tableau Renato LemeMarcelo ConiglioGiorgio Venturi OriginalPaper 16 February 2024
On Woodruff’s Constructive Nonsense Logic Jonas R. B. ArenhartHitoshi Omori OriginalPaper 22 January 2024
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator Victoria Arce PistoneMartín Figallo OriginalPaper 13 January 2024
An \(\omega \)-Rule for the Logic of Provability and Its Models Katsumi SasakiYoshihito Tanaka OriginalPaper 09 January 2024
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity Umberto RivieccioManuela Busaniche OriginalPaper 09 January 2024
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation Masanobu ToyookaKatsuhiko Sano OriginalPaper 06 January 2024
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology Heinrich WansingHitoshi Omori OriginalPaper Open access 09 December 2023 Pages: 1 - 35
The Logic ILP for Intuitionistic Reasoning About Probability Angelina Ilić-StepićZoran OgnjanovićAleksandar Perović OriginalPaper 09 December 2023
Quineanism, Noneism and Metaphysical Equivalence Bruno JacintoJavier Belastegui OriginalPaper Open access 09 December 2023
Representability of Kleene Posets and Kleene Lattices Ivan ChajdaHelmut LängerJan Paseka OriginalPaper Open access 08 December 2023
On Pretabular Extensions of Relevance Logic Asadollah FallahiJames Gordon Raftery OriginalPaper Open access 16 November 2023
A Generalization of Beall’s Off-Topic Interpretation Yang SongHitoshi OmoriSatoshi Tojo OriginalPaper Open access 14 November 2023
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time Fengkui Ju OriginalPaper 14 November 2023
Connexive Negation Luis Estrada-GonzálezRicardo Arturo Nicolás-Francisco OriginalPaper Open access 10 November 2023 Pages: 511 - 539
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics Juan Manuel CornejoHernn Javier San MartínValeria Sígal OriginalPaper 10 November 2023
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics Eunsuk Yang OriginalPaper 16 October 2023
Profinite Locally Finite Quasivarieties Anvar M. NurakunovMarina V. Schwidefsky OriginalPaper 16 October 2023
Difference-Making Conditionals and Connexivity Hans Rott OriginalPaper Open access 10 October 2023 Pages: 405 - 458
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma Athanassios Tzouvaras OriginalPaper 28 September 2023
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences Miguel CampercholiDiego Vaggione OriginalPaper 20 September 2023 Pages: 723 - 733
Boolean Connexive Logic and Content Relationship Mateusz KlonowskiLuis Estrada-González OriginalPaper Open access 20 September 2023 Pages: 207 - 248
Unary Interpretability Logics for Sublogics of the Interpretability Logic \(\textbf{IL}\) Yuya Okawa OriginalPaper 20 September 2023 Pages: 693 - 721