Geodesic

Sommaire du Fascicule no. 1

A Topological Approach to Tense LMn×m-Algebras
Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras
May the Sea-Battle Tommorow Not Happen?
Nilpotent Minimum Logic NM and Pretabularity
The Dynamic Epistemic Logic for Actual Knowledge

Sommaire du Fascicule no. 2

Cantor on Infinitesimals. Historical and Modern Perspective
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
Compounding Objects
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
What Is the Sense in Logic and Philosophy of Language

Sommaire du Fascicule no. 3

Proof Compression and NP Versus PSPACE II
p. 213-230
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
p. 231-253
New Modification of the Subformula Property for a Modal Logic
p. 255-268
Module Structure on Effect Algebras
p. 269-290
Equality Logic
p. 291-324

Sommaire du Fascicule no. 4

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
p. 327-342
From Intuitionism to Brouwer's Modal Logic
p. 343-358
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
p. 359-375
Length Neutrosophic Subalgebras of BCK=BCI-Algebras
p. 377-400
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
p. 401-437