A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

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

Authors: Natalya Tomova

Soju Filters in Hoop Algebras

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

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

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ć

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

Many Faces of Lattice Tolerances

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

Authors: Joanna Grygiel

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

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

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

Authors: Zofia Kostrzycka

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

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

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

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

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

Authors: Sara Ayhan

Equality Logic

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

Authors: Shokoofeh Ghorbani

Weakly Free Multialgebras

JOURNAL ARTICLE published 23 August 2021 in Bulletin of the Section of Logic

Authors: Marcelo Esteban Coniglio | Guilherme Vicentin de Toledo

Length Neutrosophic Subalgebras of BCK=BCI-Algebras

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

Authors: Young Bae Jun | Madad Khan | Florentin Smarandache | Seok-Zun Song

Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras

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

Authors: Young Bae Jun | Seok-Zun Song

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