Geodesic

Volume 48 (2019) no. 4

Sommaire

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