-
A simpler proof of Sahlqvist's theorem on completeness of modal logicss. 50 - 56CZYSTY TEKST
A simpler proof of Sahlqvist's theorem on completeness of modal logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 50 - 56
BIBTEX@Article{ authors = "", title = "A simpler proof of Sahlqvist's theorem on completeness of modal logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "50 - 56" }
-
On the verifiers of disjunctions. 57 - 59CZYSTY TEKST
Bogusław Wolniewicz, On the verifiers of disjunction, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 57 - 59
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "On the verifiers of disjunction", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "57 - 59" }
-
On finitely based consequence determined by a distributive lattices. 60 - 67CZYSTY TEKST
Kazimiera Dyrda, Tadeusz Prucnal, On finitely based consequence determined by a distributive lattice, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 60 - 67
BIBTEX@Article{ authors = " Kazimiera Dyrda, Tadeusz Prucnal", title = "On finitely based consequence determined by a distributive lattice", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "60 - 67" }
-
A theorem on the degree of complexity of some sentential logicss. 68 - 70CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, A theorem on the degree of complexity of some sentential logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 68 - 70
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "A theorem on the degree of complexity of some sentential logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "68 - 70" }
-
Some examples concerning uniformity and complexity of sentential logicss. 71 - 72CZYSTY TEKST
Jacek Hawranek, Some examples concerning uniformity and complexity of sentential logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 71 - 72
BIBTEX@Article{ authors = " Jacek Hawranek", title = "Some examples concerning uniformity and complexity of sentential logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "71 - 72" }
-
Modal logics between S4.2 and S4.3s. 73 - 77CZYSTY TEKST
Modal logics between S4.2 and S4.3, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 73 - 77
BIBTEX@Article{ authors = "", title = "Modal logics between S4.2 and S4.3", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "73 - 77" }
-
Some extensions of the Brouwerian logics. 78 - 84CZYSTY TEKST
Some extensions of the Brouwerian logic, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 78 - 84
BIBTEX@Article{ authors = "", title = "Some extensions of the Brouwerian logic", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "78 - 84" }
-
Some remarks on BCK-algebrass. 85 - 87CZYSTY TEKST
Marek Pałasiński, Some remarks on BCK-algebras, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 85 - 87
BIBTEX@Article{ authors = " Marek Pałasiński", title = "Some remarks on BCK-algebras", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "85 - 87" }
-
Equivalential logics (I)s. 88 - 92CZYSTY TEKST
Janusz Czelakowski, Equivalential logics (I), Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 88 - 92
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Equivalential logics (I)", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "88 - 92" }
-
More about referential matricess. 93 - 101CZYSTY TEKST
Ryszard Wójcicki, More about referential matrices, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 93 - 101
BIBTEX@Article{ authors = " Ryszard Wójcicki", title = "More about referential matrices", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "93 - 101" }
