Sommaire du Fascicule no. 1

Algebraic Characterization of the Local Craig Interpolation Property
Applications of Algebra in Logic and Computer Science – the Past and the Future
Int-Soft Ideals of Pseudo MV-Algebras
PC-lattices: A Class of Bounded BCK-algebras
Useful Four-Valued Extension of the Temporal Logic KtT4

Sommaire du Fascicule no. 2

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
Free Modal Pseudocomplemented De Morgan Algebras
Grzegorczyk Algebras Revisited
Pseudo-BCH Semilattices
Variable Sharing in Substructural Logics: an Algebraic Characterization

Sommaire du Fascicule no. 3

A comparison of two systems of point-free topology
A Post-style proof of completeness theorem for symmetric relatedness Logic S
B-almost distributive fuzzy lattice
Identity, equality, nameability and completeness. Part II
On interpolation in NEXT(KB.Alt(2))

Sommaire du Fascicule no. 4

Labeled Sequent Calculus for Orthologic
On Injective MV-Modules
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
Rule-Generation Theorem and its Applications