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
Boolean Connexive Logic and Content Relationship Mateusz KlonowskiLuis Estrada-González OriginalPaper Open access 20 September 2023 Pages: 207 - 248
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences Miguel CampercholiDiego Vaggione OriginalPaper 20 September 2023
Unary Interpretability Logics for Sublogics of the Interpretability Logic \(\textbf{IL}\) Yuya Okawa OriginalPaper 20 September 2023
Intuitionistic Public Announcement Logic with Distributed Knowledge Ryo MuraiKatsuhiko Sano OriginalPaper 15 September 2023
Intuitionistic Modal Algebras Sergio A. CelaniUmberto Rivieccio OriginalPaper Open access 15 September 2023
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic Zhiguang Zhao OriginalPaper 29 August 2023 Pages: 1057 - 1082
Hyperintensionality and Fine-Grained Semantics Aleksander Parol Book Reviews Open access 10 August 2023 Pages: 1083 - 1087
Systems for Non-Reflexive Consequence Carlo NicolaiLorenzo Rossi OriginalPaper Open access 10 August 2023 Pages: 947 - 977
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth Marcelo E. ConiglioAbilio Rodrigues OriginalPaper 09 August 2023
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains Sándor Jenei Correction Open access 03 August 2023 Pages: 897 - 898
The Elimination of Direct Self-reference Qianli ZengMing Hsiung OriginalPaper 03 August 2023 Pages: 1037 - 1055
Executability and Connexivity in an Interpretation of Griss Thomas M. Ferguson OriginalPaper Open access 05 July 2023 Pages: 459 - 509
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals Niki PfeiferGiuseppe Sanfilippo OriginalPaper Open access 29 June 2023 Pages: 167 - 206
An Algebraic Investigation of the Connexive Logic \(\textsf{C}\) Davide FazioSergei P. Odintsov OriginalPaper 21 June 2023 Pages: 37 - 67
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in \(\text {NExtK4.3}\) Ming Xu OriginalPaper 19 June 2023 Pages: 899 - 946
On Heyting Algebras with Negative Tense Operators Federico G. AlmiñanaGustavo PelaitayWilliam Zuluaga OriginalPaper 14 June 2023 Pages: 1015 - 1036
