Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

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

Authors: Nobu-Yuki Suzuki

Monadic Fragments of Intuitionistic Control Logic

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

Authors: Anna Glenszczyk

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

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

Authors: Lidia Typańska-Czajka

Quasiorders, Tolerance Relations and Corresponding “Partitions”

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

Authors: Marek Nowak

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

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

Authors: Janusz Ciuciura

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic

Reasoning about Social Phenomena

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

Authors: Tomasz Jarmużek | Fengkui Ju | Piotr Kulicki | Beishui Liao

Omitting Types in Fragments and Extensions of First Order Logic

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

Authors: Tarek Sayed Ahmed

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

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

Authors: David Makinson

From Intuitionism to Brouwer's Modal Logic

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

Authors: Zofia Kostrzycka

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

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

Authors: Alexej P. Pynko

Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract

JOURNAL ARTICLE published 2 August 2022 in Bulletin of the Section of Logic

Research funded by Russian Science Foundation (22-21-00104)

Authors: Wiesław Dziobiak | Marina Schwidefsky

A Benchmark Similarity Measures for Fermatean Fuzzy Sets

JOURNAL ARTICLE published 8 June 2022 in Bulletin of the Section of Logic

Authors: Faiz Muhammad Khan | Imran Khan | Waqas Ahmad

A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points

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

Authors: Hashem Bordbar | Rajab Ali Borzooei | Florentin Smarandache | Young Bae Jun

Labeled Sequent Calculus for Orthologic

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

Authors: Tomoaki Kawano

Sequent systems for consequence relations of cyclic linear logics

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

Authors: Paweł Płaczek

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

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

Authors: Sara Ayhan

Core Type Theory

JOURNAL ARTICLE published 16 August 2023 in Bulletin of the Section of Logic

Authors: Emma Van Dijk | David Ripley | Julian Gutierrez

Neighbourhood Semantics for Graded Modal Logic

JOURNAL ARTICLE published 14 July 2021 in Bulletin of the Section of Logic

Authors: Jinsheng Chen | Hans Van Ditmarsch | Giuseppe Greco | Apostolos Tzimoulis