JOURNAL ISSUE published 2017 in Bulletin of the Section of Logic

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

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

Authors: Satoru Niki

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

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

Authors: Torben Braüner

Functional Completeness in CPL via Correspondence Analysis

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

Authors: Dorota Leszczyńska-Jasion | Yaroslav Petrukhin | Vasilyi Shangin | Marcin Jukiewicz

Fuzzy Sub-Equality Algebras Based on Fuzzy Points

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

Authors: Rajab Ali Borzooei | Mona Aaly Kologani | Mohammad Mohseni Takallo | Young Bae Jun

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

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

Authors: Juan Manuel Cornejo | Hanamantagouda P. Sankappanavar

Roughness of Filters in Equality Algebras

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

Research funded by National Natural Science Foundation of China (11971384)

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

Categorical Abstract Algebraic Logic: Referential π-Institutions

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

Authors: George Voutsadakis

A Syntactic Proof of the Decidability of First-Order Monadic Logic

JOURNAL ARTICLE published 9 February 2024 in Bulletin of the Section of Logic

Authors: Eugenio Orlandelli | Matteo Tesi

The Modelwise Interpolation Property of Semantic Logics

JOURNAL ARTICLE published 21 April 2023 in Bulletin of the Section of Logic

Research funded by Nemzeti Kutatási Fejlesztési és Innovációs Hivatal (K-134275) | Narodowym Centrum Nauki (2019/34/E/HS1/00044)

Authors: Zalán Gyenis | Zalán Molnár | Övge Öztürk

Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena

JOURNAL ARTICLE published 28 May 2021 in Bulletin of the Section of Logic

Authors: Aleksander Parol | Krzysztof Pietrowicz | Joanna Szalacha-Jarmużek

Cut Elimination for Extended Sequent Calculi

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

Authors: Simone Martini | Andrea Masini | Margherita Zorzi

A Variant of Material Connexive Logic

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

Authors: Alexander Belikov | Dmitry Zaitsev

On pre-Hilbert and positive implicative pre-Hilbert algebras

JOURNAL ARTICLE published 20 May 2024 in Bulletin of the Section of Logic

Authors: Andrzej Walendziak

Free Spectra of Equivalential Algebras with Conjunction on Dense Elements

JOURNAL ARTICLE published 20 May 2024 in Bulletin of the Section of Logic

Authors: Sławomir Przybyło | Katarzyna Słomczyńska

(L)-Modules

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

Authors: Simin Saidi Goraghani | Rajab Ali Borzooei

SUP-Hesitant Fuzzy Interior Ideals in (Gamma)-Semigroups

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

Authors: Thiti Gaketem

Harmony and Normalisation in Bilateral Logic

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

Authors: Pedro Del Valle-Inclan

On GE-algebras

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

Authors: Ravikumar Bandaru | Arsham Borumand Saeid | Young Bae Jun

An Investigation into Intuitionistic Logic with Identity

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

Authors: Szymon Chlebowski | Dorota Leszczyńska-Jasion