-
On filters and closure systemss. 151 - 155CZYSTY TEKST
Roman Suszko, On filters and closure systems, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 151 - 155
BIBTEX@Article{ authors = " Roman Suszko", title = "On filters and closure systems", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "151 - 155" }
-
On the equivalence of the Meskhi and Cignoli conditions for P-algebras with involution, with application to Lukasiewicz 3 and 4 valued logicss. 156 - 160CZYSTY TEKST
George Epstein, On the equivalence of the Meskhi and Cignoli conditions for P-algebras with involution, with application to Lukasiewicz 3 and 4 valued logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 156 - 160
BIBTEX@Article{ authors = " George Epstein", title = "On the equivalence of the Meskhi and Cignoli conditions for P-algebras with involution, with application to Lukasiewicz 3 and 4 valued logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "156 - 160" }
-
Intermediate logics without the interpolation propertys. 161 - 163CZYSTY TEKST
Stanisław Zachorowski, Intermediate logics without the interpolation property, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 161 - 163
BIBTEX@Article{ authors = " Stanisław Zachorowski", title = "Intermediate logics without the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "161 - 163" }
-
A natural deduction relevance logics. 164 - 170CZYSTY TEKST
Frederic A. Johnson, A natural deduction relevance logic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 164 - 170
BIBTEX@Article{ authors = " Frederic A. Johnson", title = "A natural deduction relevance logic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "164 - 170" }
-
Barcan formulas in SCI with quantifierss. 171 - 176CZYSTY TEKST
Mieczysław Omyła, Barcan formulas in SCI with quantifiers, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 171 - 176
BIBTEX@Article{ authors = " Mieczysław Omyła", title = "Barcan formulas in SCI with quantifiers", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "171 - 176" }
-
A method of axiomatizing an intersection of propositional logicss. 177 - 181CZYSTY TEKST
Andrzej Wroński, A method of axiomatizing an intersection of propositional logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 177 - 181
BIBTEX@Article{ authors = " Andrzej Wroński", title = "A method of axiomatizing an intersection of propositional logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "177 - 181" }
-
On some intuitionistic modal logicss. 182 - 185CZYSTY TEKST
Hiroakira Ono, On some intuitionistic modal logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 182 - 185
BIBTEX@Article{ authors = " Hiroakira Ono", title = "On some intuitionistic modal logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "182 - 185" }
-
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewiczs. 186 - 189CZYSTY TEKST
Barbara Woźniakowska, Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 186 - 189
BIBTEX@Article{ authors = " Barbara Woźniakowska", title = "Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "186 - 189" }
-
A remark on maximal matrix consequencess. 190 - 192CZYSTY TEKST
Marek Tokarz, A remark on maximal matrix consequences, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 190 - 192
BIBTEX@Article{ authors = " Marek Tokarz", title = "A remark on maximal matrix consequences", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "190 - 192" }
-
The lattice of normal modal logicss. 193 - 201CZYSTY TEKST
Wolfgang Rautenberg, The lattice of normal modal logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 193 - 201
BIBTEX@Article{ authors = " Wolfgang Rautenberg", title = "The lattice of normal modal logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "193 - 201" }
