Geodesic

Volume 48 (2019) no. 1

Sommaire

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