-
Every two-valuated propositional calculus has the interpolation propertys. 152 - 153CZYSTY TEKST
Zdzisław Dywan, Teodor Stępień, Every two-valuated propositional calculus has the interpolation property, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 152 - 153
BIBTEX@Article{ authors = " Zdzisław Dywan, Teodor Stępień", title = "Every two-valuated propositional calculus has the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "152 - 153" }
-
Quasi-strongly finite sentential calculis. 154 - 158CZYSTY TEKST
Zdzisław Dywan, Quasi-strongly finite sentential calculi, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 154 - 158
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Quasi-strongly finite sentential calculi", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "154 - 158" }
-
A note on quantified significance logics. 159 - 162CZYSTY TEKST
Martin W. Bunder, A note on quantified significance logic, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 159 - 162
BIBTEX@Article{ authors = " Martin W. Bunder", title = "A note on quantified significance logic", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "159 - 162" }
-
An example of the commutative BCK-algebras. 163 - 165CZYSTY TEKST
Marek Pałasiński, An example of the commutative BCK-algebra, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 163 - 165
BIBTEX@Article{ authors = " Marek Pałasiński", title = "An example of the commutative BCK-algebra", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "163 - 165" }
-
Finitely generated ideals in directed commutative BCK-algebrass. 166 - 169CZYSTY TEKST
Marek Pałasiński, Barbara Woźniakowska, Finitely generated ideals in directed commutative BCK-algebras, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 166 - 169
BIBTEX@Article{ authors = " Marek Pałasiński, Barbara Woźniakowska", title = "Finitely generated ideals in directed commutative BCK-algebras", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "166 - 169" }
-
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logicss. 170 - 175CZYSTY TEKST
Piotr S. Krzystek, Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 170 - 175
BIBTEX@Article{ authors = " Piotr S. Krzystek", title = "Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "170 - 175" }
-
On reducts of intermediate logicss. 176 - 179CZYSTY TEKST
Andrzej Wroński, On reducts of intermediate logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 176 - 179
BIBTEX@Article{ authors = " Andrzej Wroński", title = "On reducts of intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "176 - 179" }
-
Towards the source of the notion of implications. 180 - 183CZYSTY TEKST
Jacek K. Kabziński, Towards the source of the notion of implication, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 180 - 183
BIBTEX@Article{ authors = " Jacek K. Kabziński", title = "Towards the source of the notion of implication", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "180 - 183" }
-
What is the equivalence connectives. 184 - 188CZYSTY TEKST
Jacek K. Kabziński, What is the equivalence connective, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 184 - 188
BIBTEX@Article{ authors = " Jacek K. Kabziński", title = "What is the equivalence connective", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "184 - 188" }
-
A mechanized decision procedure for non-classical logics: The program KRIPKEs. 189 - 192CZYSTY TEKST
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite, A mechanized decision procedure for non-classical logics: The program KRIPKE, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 189 - 192
BIBTEX@Article{ authors = " Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite", title = "A mechanized decision procedure for non-classical logics: The program KRIPKE", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "189 - 192" }
-
Quasi equational logic of partial algebrass. 193 - 197CZYSTY TEKST
Hajnal Andreka, Peter Burmeister, Istvan Nemeti, Quasi equational logic of partial algebras, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 193 - 197
BIBTEX@Article{ authors = " Hajnal Andreka, Peter Burmeister, Istvan Nemeti", title = "Quasi equational logic of partial algebras", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "193 - 197" }
