A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs

JOURNAL ARTICLE published 30 March 2016 in Bulletin of the Section of Logic

Authors: George Tourlakis

On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories

JOURNAL ARTICLE published 30 December 2018 in Bulletin of the Section of Logic

Authors: Marcin Łyczak | Andrzej Pietruszczak

Applications of Algebra in Logic and Computer Science – the Past and the Future

JOURNAL ARTICLE published 30 March 2018 in Bulletin of the Section of Logic

Authors: Joanna Grygiel

Bulletin of the Section of Logic

JOURNAL published

An Epistemological Study of Theory Change

JOURNAL ARTICLE published 9 November 2021 in Bulletin of the Section of Logic

Authors: Theofanis Aravanis

Note on the Intuitionistic Logic of False Belief

JOURNAL ARTICLE published 1 September 2021 in Bulletin of the Section of Logic

Authors: Tomasz Witczak

On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results

JOURNAL ARTICLE published 21 July 2021 in Bulletin of the Section of Logic

Authors: Tarek Sayed Ahmed

Free Modal Pseudocomplemented De Morgan Algebras

JOURNAL ARTICLE published 30 June 2018 in Bulletin of the Section of Logic

Authors: Aldo V. Figallo | Nora Oliva | Alicia Ziliani

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

JOURNAL ARTICLE published 31 December 2019 in Bulletin of the Section of Logic

Authors: Nils Kürbis

Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points

JOURNAL ARTICLE published 4 December 2023 in Bulletin of the Section of Logic

Research funded by Narodowe Centrum Nauki (grant number 2020/39/B/HS1/00216)

Authors: Rafał Gruszczyński

Linear Abelian Modal Logic

JOURNAL ARTICLE published 15 December 2023 in Bulletin of the Section of Logic

Authors: Hamzeh Mohammadi

An Arithmetically Complete Predicate Modal Logic

JOURNAL ARTICLE published 23 August 2021 in Bulletin of the Section of Logic

Authors: Yunge Hao | George Tourlakis

A Note on Gödel-Dummet Logic LC

JOURNAL ARTICLE published 1 July 2021 in Bulletin of the Section of Logic

Authors: Gemma Robles | José M. Méndez

Falling Shadow Theory with Applications in Hoops

JOURNAL ARTICLE published 20 January 2021 in Bulletin of the Section of Logic

Authors: Rajab Ali Borzooei | Gholam Reza Rezaei | Mona Aaly Kologhani | Young Bae Jun

Tableaux for some deontic logics with the explicit permission operator

JOURNAL ARTICLE published 23 June 2022 in Bulletin of the Section of Logic

Research funded by Narodowym Centrum Nauki (UMO-2017/26/M/HS1/01092)

Authors: Daniela Glavaničová | Tomasz Jarmużek | Mateusz Klonowski | Piotr Kulicki

B-almost distributive fuzzy lattice

JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic

Authors: Berhanu Assaye | Mihret Alemneh | Gerima Tefera

Non-Fregean Logics of Analytic Equivalence (II)

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Andrzej Biłat

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Wojciech Dzik | Beniamin Wróbel

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic

Research funded by Ministry of Science and Higher Education of the Russian Federation (No. 075-02-2022-876)

Authors: Stepan I. Bashmakov | Tatyana Yu. Zvereva

Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Research funded by National Academy of Sciences of Ukraine (unknown)

Authors: Alexej P. Pynko