Discussiones Mathematicae Graph Theory, Tome 47 (2018) no. 1

Sommaire

Algebraic Characterization of the Local Craig Interpolation Property

Gyenis, Zalán

Applications of Algebra in Logic and Computer Science – the Past and the Future

Grygiel, Joanna

Int-Soft Ideals of Pseudo MV-Algebras

Jun, Young Bae ; Song, Seok-Zun ; Bordbar, Hashem

PC-lattices: A Class of Bounded BCK-algebras

Shoar, Sadegh Khosravi ; Borzooei, Rajab Ali ; Moradian, R. ; Radfar, Atefe

Useful Four-Valued Extension of the Temporal Logic KtT4

Degauquier, Vincent