Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

JOURNAL ARTICLE published 18 July 2023 in Bulletin of the Section of Logic

Authors: Alexander V. Gheorghiu | David J. Pym

A Note on some Characterization of Distributive Lattices of Finite Length

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

Authors: Marcin Łazarz | Krzysztof Siemieńczuk

Structural Rules in Natural Deduction with Alternatives

JOURNAL ARTICLE published 25 June 2023 in Bulletin of the Section of Logic

Authors: Greg Restall

On Paracomplete Versions of Jaśkowski's Discussive Logic

JOURNAL ARTICLE published 4 January 2024 in Bulletin of the Section of Logic

Research funded by Narodowym Centrum Nauki (grant number 2016/23/B/HS1/00344)

Authors: Krystyna Mruczek-Nasieniewska | Yaroslav Petrukhin | Vasily Shangin

On Injective MV-Modules

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

Authors: Rajabali A. Borzooei | S. Saidi Goraghani

Neighbourhood Semantics for Graded Modal Logic

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

Authors: Jinsheng Chen | Hans Van Ditmarsch | Giuseppe Greco | Apostolos Tzimoulis

Sequent systems for consequence relations of cyclic linear logics

JOURNAL ARTICLE published 24 April 2024 in Bulletin of the Section of Logic

Authors: Paweł Płaczek

A comparison of two systems of point-free topology

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

Authors: Rafał Gruszczyński | Andrzej Pietruszczak

Module Structure on Effect Algebras

JOURNAL ARTICLE published 4 November 2020 in Bulletin of the Section of Logic

Authors: Simin Saidi Goraghani | Rajab Ali Borzooei

Variable Sharing in Substructural Logics: an Algebraic Characterization

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

Authors: Guillermo Badia

A Paradox for the Existence Predicate

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

Authors: Uwe Meixner

Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

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

Authors: Meha Mishra | A.V. Ravishankar Sarma

Commutative Energetic Subsets of BCK-Algebras

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

Authors: Young Bae Jun | Eun Hwan Roh | Seok Zun Song

Interpolation Property on Visser's Formal Propositional Logic

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

Authors: Majid Alizadeh | Masoud Memarzadeh

An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups

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

Authors: Pairote Yiarayong

Pseudo-BCH Semilattices

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

Authors: Andrzej Walendziak

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic

Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

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

Authors: Satoru Niki

About Logically Probable Sentences

JOURNAL ARTICLE published 23 April 2024 in Bulletin of the Section of Logic

Authors: Adam Olszewski

PC-lattices: A Class of Bounded BCK-algebras

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

Authors: Sadegh Khosravi Shoar | Rajab Ali Borzooei | R. Moradian | Atefe Radfar