Bayesian Propositional Logic

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

Authors: Tomasz Jarmużek | Mateusz Klonowski | Jacek Malinowski

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic

Compounding Objects

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

Authors: Zvonimir Šikić

An Alternative Natural Deduction for the Intuitionistic Propositional Logic

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

Authors: Mirjana Ilić

Closure Operators on Complete Almost Distributive Lattices-III

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

Authors: Calyampudi Radhakrishna Rao | Venugopalam Undurthi

A Note on Distributive Triples

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

Authors: Marcin Łazarz

Positive Implicative Soju Ideals in BCK-Algebras

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

Authors: Xiao Long Xin | Rajab Ali Borzooei | Young Bae Jun

Semi-Heyting Algebras and Identities of Associative Type

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

Authors: Juan M. Cornejo | Hanamantagouda P. Sankappanavar

Many Faces of Lattice Tolerances

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

Authors: Joanna Grygiel

On interpolation in NEXT(KB.Alt(2))

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

Authors: Zofia Kostrzycka

Equality Logic

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

Authors: Shokoofeh Ghorbani

Proof Compression and NP Versus PSPACE II: Addendum

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

Authors: Lew Gordeev | Edward Hermann Haeusler

Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

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

Authors: Sara Ayhan

A Modified Subformula Property for the Modal Logic S4.2

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

Authors: Mitio Takano

Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

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

Authors: Paolo Maffezioli | Eugenio Orlandelli

Four-Valued Logics BD and DM4: Expansions

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

Authors: Alexander S. Karpenko

Rule-Generation Theorem and its Applications

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

Authors: Andrzej Indrzejczak

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2

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

Authors: Krystyna Mruczek-Nasieniewska | Marek Nasieniewski

Common Knowledge, Common Attitudes and Social Reasoning

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

Authors: Richmond H. Thomason

Stabilizers on (L)-algebras

JOURNAL ARTICLE published 20 November 2023 in Bulletin of the Section of Logic

Authors: Gholam Reza Rezaei | Mona Aaly Kologani