Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 8 of 204 results
Sort by: relevance publication year

Structural Rules in Natural Deduction with Alternatives

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

Authors: Greg Restall

A comparison of two systems of point-free topology

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

Authors: Rafał Gruszczyński | Andrzej Pietruszczak

On Paracomplete Versions of Jaśkowski's Discussive Logic

JOURNAL ARTICLE published 4 January 2024 in Bulletin of the Section of Logic

Research funded by Narodowym Centrum Nauki (grant number 2016/23/B/HS1/00344)

Authors: Krystyna Mruczek-Nasieniewska | Yaroslav Petrukhin | Vasily Shangin

On Injective MV-Modules

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

Authors: Rajabali A. Borzooei | S. Saidi Goraghani

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

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

Module Structure on Effect Algebras

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

Authors: Simin Saidi Goraghani | Rajab Ali Borzooei

Variable Sharing in Substructural Logics: an Algebraic Characterization

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

Authors: Guillermo Badia

A Paradox for the Existence Predicate

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

Authors: Uwe Meixner

Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

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

Authors: Meha Mishra | A.V. Ravishankar Sarma

Commutative Energetic Subsets of BCK-Algebras

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

Authors: Young Bae Jun | Eun Hwan Roh | Seok Zun Song

Interpolation Property on Visser's Formal Propositional Logic

JOURNAL ARTICLE published 20 September 2022 in Bulletin of the Section of Logic

Authors: Majid Alizadeh | Masoud Memarzadeh

An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups

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

Authors: Pairote Yiarayong

Pseudo-BCH Semilattices

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

Authors: Andrzej Walendziak

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic

Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

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

Authors: Satoru Niki

About Logically Probable Sentences

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

Authors: Adam Olszewski

PC-lattices: A Class of Bounded BCK-algebras

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

Authors: Sadegh Khosravi Shoar | Rajab Ali Borzooei | R. Moradian | Atefe Radfar

An Inferentially Many-Valued Two-Dimensional Notion of Entailment

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

Authors: Carolina Blasio | João Marcos | Heinrich Wansing

A Note on Ciuciura’s mbC1

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

Authors: Hitoshi Omori