Geodesic

Volume 49 (2020) no. 3

Sommaire

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