Sommaire du Fascicule no. 1

A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Commutative Energetic Subsets of BCK-Algebras
Elementary Proof of Strong Normalization for Atomic F

Sommaire du Fascicule no. 2

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Axiomatization of a Basic Logic of Logical Bilattices
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
Quasiorders, Tolerance Relations and Corresponding “Partitions”
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

Sommaire du Fascicule no. 3/4

Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices
Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts
Interpolation in Normal Extensions of the Brouwer Logic
Irredundant Decomposition of Algebras into One-Dimensional Factors
Monadic Fragments of Intuitionistic Control Logic
On Direct Limit Closed Classes of Algebras
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
Some Algebraic and Algorithmic Problems in Acoustocerebrography