Quasivarieties of p-Algebras: Some New Results Tomasz KowalskiKatarzyna Słomczyńska OriginalPaper Open access 24 June 2025
Matthias Wille, Fraenkel. Mengen bilden, Springer Spektrum, Berlin, 2023, pp. xii+232; ISBN: 978-3-662-66166-6 (Hardback) €69.99, ISBN 978-3-662-66167-3 (eBook) €54.99 Christian Thiel Book Reviews 23 June 2025
Edwin Mares, Logic and Information, series: Elements in Philosophy and Logic, Cambridge University Press, 2024, pp. 82; DOI: 10.1017/9781009466745; ISBN: 978-1-009-46675-2 (Hardback) €64.19, 978-1-009-46673-8 (Paperback) €21.01. Marcin Czakon Book Reviews 17 June 2025
A Proof-Theoretic Completeness Proof for Propositional Classical Core Logic Neil Tennant OriginalPaper Open access 09 June 2025
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa Abilio RodriguesMarek NasieniewskiRicardo Arturo Nicolás-Francisco OriginalPaper 05 June 2025
Juliet Floyd, Wittgenstein’s Philosophy of Mathematics, Cambridge University Press, 2021. pp. 96; DOI: 10.1017/9781108687126; ISBN: 1108456308 (Paperback) €21. Pedro Barbalho Book Reviews 26 May 2025
A New Representation of Finite Hoops Using a New Type of Product of Structures Michal Botur OriginalPaper Open access 26 May 2025
From Jaśkowski’s Discussive Logic to Contemporary Paraconsistent Systems Marek NasieniewskiAndrzej Pietruszczak OriginalPaper 26 May 2025
Topological Classes of MV-Algebras Giuseppina BarbieriAntonio Di NolaGiacomo Lenzi OriginalPaper Open access 26 May 2025
A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction Zhicheng Chen OriginalPaper 26 May 2025
A Lindström Theorem for the Hybrid Logic \(\mathcal {H}(\exists )\) Diego Pinheiro Fernandes OriginalPaper 14 May 2025
Generalized Epstein Semantics for Parry Systems Nicolò Zamperlin OriginalPaper Open access 14 May 2025
Heyting Algebras with Kalman-Galois Connections Ismael CalominoGustavo PelaitayLucia Florencia Valverde OriginalPaper 14 May 2025
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence Yan Zhang OriginalPaper 13 May 2025
Gently Paraconsistent Extensions of \(C_1\), Intuitionistic Implication, De Morgan Laws, and the Law of Non-contradiction Janusz Ciuciura OriginalPaper 08 May 2025
Fraïssé Limit and Ramsey Theorem: The Case of MV-Algebras and a Categorical Generalization Ciro Russo OriginalPaper 05 May 2025
A Natural Semantics for the Pullback of Fiber Bundles of Structures Leonardo A. Cano G.Pedro H. Zambrano OriginalPaper Open access 04 March 2025
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras Anatolij DvurečenskijOmid Zahiri OriginalPaper Open access 25 February 2025
Inside Classical Logic: Truth, Contradictions, Fractionality Mario PiazzaMatteo Tesi OriginalPaper Open access 13 February 2025
On a Generalization of all Strong Kleene Generalizations of Classical Logic Pablo CobrerosIsabel Grábalosartina Zirattu OriginalPaper Open access 13 February 2025
Interpolation Properties for the Bimodal Provability Logic \(\textbf{GR}\) Haruka KogureTaishi Kurahashi OriginalPaper Open access 05 February 2025
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic Alexander V. GheorghiuDavid J. Pym OriginalPaper Open access 09 January 2025
Ulam-Rényi Games, MV-Algebras, Specker \(\ell \)-Groups Daniele Mundici OriginalPaper 06 January 2025
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic Alexander V. GheorghiuTao GuDavid J. Pym OriginalPaper Open access 31 December 2024
A Logic of Knowledge and Justifications, with an Application to Computational Trust Francesco A. Genco OriginalPaper 31 December 2024
Urszula B. Wybraniec-Skardowska, Logic-Language-Ontology, Selected Works, Birkhäuser Cham, 2022, pp. 300+xiii; ISBN: 978-3-031-22329-7 (Hardcover) 139.09€, ISBN: 978-3-031-22332-7 (Softcover) 139.09€, ISBN: 978-3-031-22330-3 (eBook) 106.99€. Harrie de Swart Book Reviews 20 December 2024
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$. Francesco Paoli Book Reviews 12 December 2024
Hybrid Logic of the Hide and Seek Game Katsuhiko SanoFenrong LiuDazhu Li OriginalPaper 18 November 2024
Ultrafilter Extensions of Bounded Graphs are Elementary Zalán Molnár OriginalPaper Open access 15 November 2024
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation Taishi KurahashiYuta Sato OriginalPaper Open access 04 November 2024
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics Hugo AlbuquerqueCarlos Caleiro OriginalPaper 30 October 2024
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic Ana de Almeida BorgesJoost J. Joosten OriginalPaper Open access 30 October 2024
Algebraic Semantics for a Mixed Type Fragment of IPC Eryk LipkaKatarzyna Słomczyńska OriginalPaper Open access 03 October 2024
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors Norihiro KamideSara Negri OriginalPaper 21 September 2024
Quantum Interpretation of Semantic Paradox: Contextuality and Superposition Heng ZhouYongjun WangJian Yan OriginalPaper 18 September 2024
Dummett’s Theory of Truth as a Source of Connexivity Alex BelikovEvgeny Loginov OriginalPaper 02 September 2024
Topic-Based Communication Between Agents Rustam GalimullinFernando R. Velázquez-Quesada OriginalPaper Open access 31 August 2024
Alpha-Structures and Ladders in Logical Geometry Alexander De KlerckLorenz Demey OriginalPaper Open access 27 August 2024
Substitutional Quantification in Truth-Theories for Modal Languages Yannis Stephanou OriginalPaper 20 August 2024
