Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices

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

Authors: Marcin Łazarz

Some Algebraic and Algorithmic Problems in Acoustocerebrography

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

Authors: Adam Kolany | Miroslaw Wrobel

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts

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

Authors: Bogdan Staruch | Bożena Staruch

The Dynamic Epistemic Logic for Actual Knowledge

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

Authors: Arkadiusz Wójcik

Useful Four-Valued Extension of the Temporal Logic KtT4

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

Authors: Vincent Degauquier

JOURNAL ISSUE published 2016 in Bulletin of the Section of Logic

(n)-Fold Filters of EQ-Algebras

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

Authors: Batoul Ganji Saffar | Mona Aly Kologani | Rajab Ali Borzooei

On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

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

Research funded by Narodowym Centrum Nauki (research grant DEC-2013/09/B/HS1/00701)

Authors: Zofia Kostrzycka

JOURNAL ISSUE published 2016 in Bulletin of the Section of Logic

New Modification of the Subformula Property for a Modal Logic

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

Authors: Mitio Takano

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 Direct Limit Closed Classes of Algebras

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

Authors: Emília Halušková

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

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

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

Authors: George Voutsadakis

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

Grzegorczyk Algebras Revisited

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

Authors: Michał M. Stronkowski

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Axiomatization of a Basic Logic of Logical Bilattices

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

Authors: Mitio Takano