Sommaire

Proof Compression and NP Versus PSPACE II
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
New Modification of the Subformula Property for a Modal Logic
Module Structure on Effect Algebras
Equality Logic