Sommaire du Fascicule no. 1

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
A Note on the Intuitionistic Logic of False Belief
Weakly Free Multialgebras

Sommaire du Fascicule no. 2

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Proof Compression and NP Versus PSPACE II: Addendum
A Variant of Material Connexive Logic

Sommaire du Fascicule no. 4

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions