-
The strongly adequate matrices of the form of product of Lindenbaum's matricess. 102 - 107CZYSTY TEKST
The strongly adequate matrices of the form of product of Lindenbaum's matrices, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 102 - 107
BIBTEX@Article{ authors = "", title = "The strongly adequate matrices of the form of product of Lindenbaum's matrices", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "102 - 107" }
-
Equivalential logics (II)s. 108 - 114CZYSTY TEKST
Janusz Czelakowski, Equivalential logics (II), Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 108 - 114
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Equivalential logics (II)", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "108 - 114" }
-
On the lattice of elementary situationss. 115 - 121CZYSTY TEKST
Bogusław Wolniewicz, On the lattice of elementary situations, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 115 - 121
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "On the lattice of elementary situations", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "115 - 121" }
-
A matrix adequate for S5 with MP and RNs. 122 - 124CZYSTY TEKST
Jacek Hawranek, A matrix adequate for S5 with MP and RN, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 122 - 124
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A matrix adequate for S5 with MP and RN", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "122 - 124" }
-
A remark on free productss. 125 - 130CZYSTY TEKST
Janusz Czelakowski, A remark on free products, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 125 - 130
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "A remark on free products", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "125 - 130" }
-
Remarks on Floyd-Hoare derivabilitys. 131 - 135CZYSTY TEKST
Laszlo Csirmaz, Remarks on Floyd-Hoare derivability, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 131 - 135
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "Remarks on Floyd-Hoare derivability", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "131 - 135" }
-
The degrees of maximality of the intuitionistic propositional logic and of some of its fragmentss. 136 - 140CZYSTY TEKST
Wiesław Dziobiak, The degrees of maximality of the intuitionistic propositional logic and of some of its fragments, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 136 - 140
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "The degrees of maximality of the intuitionistic propositional logic and of some of its fragments", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "136 - 140" }
-
Independent basis for the consequence determined by non-degenerated distributive latticess. 141 - 144CZYSTY TEKST
Independent basis for the consequence determined by non-degenerated distributive lattices, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 141 - 144
BIBTEX@Article{ authors = "", title = "Independent basis for the consequence determined by non-degenerated distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "141 - 144" }
-
On ideals in directed commutative BCK-algebras. 145 - 151CZYSTY TEKST
Marek Pałasiński, On ideals in directed commutative BCK-algebra, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 145 - 151
BIBTEX@Article{ authors = " Marek Pałasiński", title = "On ideals in directed commutative BCK-algebra", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "145 - 151" }
