-
Int-Soft Ideals of Pseudo MV-Algebrass. 1 - 14CZYSTY TEKST
Hashem Bordbar, Seok Zun Song, Young Bae Jun, Int-Soft Ideals of Pseudo MV-Algebras, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 1 - 14
BIBTEX@Article{ authors = " Hashem Bordbar, Seok Zun Song, Young Bae Jun", title = "Int-Soft Ideals of Pseudo MV-Algebras", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "1 - 14" }
-
A Useful Four-Valued Extension of the Temporal Logic KtT4s. 15 - 32CZYSTY TEKST
Vincent Degauquier, A Useful Four-Valued Extension of the Temporal Logic KtT4, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 15 - 32
BIBTEX@Article{ authors = " Vincent Degauquier", title = "A Useful Four-Valued Extension of the Temporal Logic KtT4", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "15 - 32" }
-
PC-lattices: A Class of Bounded BCK-algebrass. 33 - 44CZYSTY TEKST
R. A. Borzooei, R. Moradian, A. Radfar, Khosravi Shoar, PC-lattices: A Class of Bounded BCK-algebras , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 33 - 44
BIBTEX@Article{ authors = " R. A. Borzooei, R. Moradian, A. Radfar, Khosravi Shoar", title = "PC-lattices: A Class of Bounded BCK-algebras ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "33 - 44" }
-
Algebraic Characterization of the Local Craig Interpolation Propertys. 45 - 58CZYSTY TEKST
Zal ́an Gyenis, Algebraic Characterization of the Local Craig Interpolation Property , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 45 - 58
BIBTEX@Article{ authors = " Zal ́an Gyenis", title = "Algebraic Characterization of the Local Craig Interpolation Property ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "45 - 58" }
-
Applications of Algebra in Logic and Computer Science – the Past and the Futures. 59 - 67CZYSTY TEKST
Joanna Grygiel, Applications of Algebra in Logic and Computer Science – the Past and the Future , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 59 - 67
BIBTEX@Article{ authors = " Joanna Grygiel", title = "Applications of Algebra in Logic and Computer Science – the Past and the Future ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "59 - 67" }
-
Submission Informations. 68CZYSTY TEKST
Submission Information , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 68
BIBTEX@Article{ authors = "", title = "Submission Information ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "68" }
