On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2

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

Authors: Andrzej Pietruszczak

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

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

Authors: Jan Von Plato

JOURNAL ISSUE published 2017 in Bulletin of the Section of Logic

Interpolation in Normal Extensions of the Brouwer Logic

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

Authors: Zofia Kostrzycka

Simple Logics for Basic Algebras

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

Authors: Ja̅nis Cı̅rulis

Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras

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

Research funded by Consejo Nacional de Investigaciones Científicas y Técnicas (unknown)

Authors: Aldo V. Figallo | Gustavo Pelaitay

A Post-style proof of completeness theorem for symmetric relatedness Logic S

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

Authors: Mateusz Klonowski

Sequent Calculi for Orthologic with Strict Implication

JOURNAL ARTICLE published 9 November 2021 in Bulletin of the Section of Logic

Authors: Tomoaki Kawano

Complete Representations and Neat Embeddings

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

Authors: Tarek Sayed Ahmed

Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)

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

Authors: Ryszard Wójcicki

Formal Methods and Science in Philosophy: Introduction to the Special Issue

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

Authors: Patrick Blackburn | Srećko Kovač | Kordula Świętorzecka

Int-Soft Ideals of Pseudo MV-Algebras

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

Authors: Young Bae Jun | Seok-Zun Song | Hashem Bordbar

Nilpotent Minimum Logic NM and Pretabularity

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

Authors: Eunsuk Yang

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

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

Authors: Andrzej Indrzejczak

Tableau Systems for Epistemic Positional Logics

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

Authors: Mateusz Klonowski | Krzysztof Aleksander Krawczyk | Bożena Pięta

The Good, the Bad and the Right: Formal Reductions among Deontic Concepts

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

Authors: Daniela Glavaničová | Matteo Pascucci

On Some Applied First-Order Theories which Can Be Represented by Definitions

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

Authors: Vladimir Shalack

Bilateral Rules as Complex Rules

JOURNAL ARTICLE published 18 July 2023 in Bulletin of the Section of Logic

Authors: Leonardo Ceragioli

The Infinite-Valued Łukasiewicz Logic and Probability

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

Authors: Janusz Czelakowski

A Syntactic Approach to Closure Operation

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

Authors: Marek Nowak