Geodesic

Volume 47 (2018) no. 1

Sommaire

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