Bulletin of the Section of Logic
Tom 49 (2020)

Nilpotent Minimum Logic NM and Pretabularity

Eunsuk Yang

A Topological Approach to Tense LMnxm - Algebras

Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay

Inf-Hesitant Fuzzy Ideals in «BCK

Young Bae Jun, Seok-Zun Song

The Dynamic Epistemic Logic for Actual Knowledge

Arkadiusz Wójcik

May the Sea-Battle Tomorrow not Happen?

Bożena Pięta

Computer-Supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

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

Patrick Blackburn, Srećko Kovač, Kordula Świętorzecka

Completeness, Categoricity and Imaginary Numbers : The Debate on Husserl

Víctor Aranda

Computer-Supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Christoph Benzmüller, David Fuenmayor

Cantor on Infinitesimals Historical and Modern Perspective

Piotr Błaszczyk, Marlena Fila

Compounding Objects

Zvonimir Šikić

What is the Sense in Logic and Philosophy of Language?

Urszula Wybraniec-Skardowska

Proof Compression and NP versus PSPACE II

Lew Gordeev, Edward Hermann Haeusler

Empirical Negation, Co-Negation and the Contraposition Rule I : Semantical Investigation

Satoru Niki

New Modification of the Subformula Property for a Modal Logic

Mitio Takano

Module Structure on Effect Algebras

Simin Saidi Garaghani, Rajab Ali Borzooei

Equality Logic

Shokoofeh Ghorbani

The Phenomenology of Second-Level Interference : Perfumes in the Deductive Garden

David Makinson

From Intuitionism to Brouwer's Modal Logic

Zofia Kostrzycka

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

Satoru Niki

Length Neutrosophic Subalgebras of «BCK»

Young Bae Jun, Madad Khan, Florentin Smarandache, Scok-Zun Song

Four-Valued Expansions of Dunn-Belnap's Logic (I) : Basic Characterizations

Alexej P. Pynko