Geodesic

Sommaire du Fascicule no. 1

A Modified Subformula Property for the Modal Logic S4.2
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
Functional Completeness in CPL via Correspondence Analysis
Positive Implicative Soju Ideals in BCK-Algebras
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

Sommaire du Fascicule no. 2

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
p. 81-97
The Method of Socratic Proofs Meets Correspondence Analysis
p. 99-116
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
p. 137-158
Semi-Heyting Algebras and Identities of Associative Type

Sommaire du Fascicule no. 3

A Note on Ciuciura’s mbC1
p. 161-171
Complex Fuzzy Sets with Application in BCK/BCI-Algebras
p. 173-185
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
p. 187-205
A Note on Distributive Triples
p. 207-211
Modal Boolean Connexive Logics: Semantics and Tableau Approach
p. 213-243

Sommaire du Fascicule no. 4

An Investigation into Intuitionistic Logic with Identity
Disjunctive Multiple-Conclusion Consequence Relations
Many Faces of Lattice Tolerances
Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic