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

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á

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

Elementary Proof of Strong Normalization for Atomic F

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

Authors: Fernando Ferreira | Gilda Ferreira

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

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

Authors: Nils Kürbis