TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2018 / Tom 47 / Numer 1 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Int-Soft Ideals of Pseudo MV-Algebras

s. 1 - 14

Young Bae Jun Hashem Bordbar Seok-Zun Song

CZYSTY TEKST
Young Bae Jun, Hashem Bordbar, Seok-Zun Song, Int-Soft Ideals of Pseudo MV-Algebras, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 1 - 14

BIBTEX
@Article{ authors = " Young Bae Jun, Hashem Bordbar, Seok-Zun Song", 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 KtT4

s. 15 - 32

Vincent Degauquier

CZYSTY 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-algebras

s. 33 - 44

Khosravi Shoar R. A. Borzooei R. Moradian A. Radfar

CZYSTY TEKST
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar, 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 = " Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar", 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 Property

s. 45 - 58

Zal ́an Gyenis

CZYSTY 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 Future

s. 59 - 67

Joanna Grygiel

CZYSTY 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 Information

s. 68

CZYSTY 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" }