-
Finite logics and the simple substitution propertys. 74 - 78CZYSTY TEKST
Tsutomu Hosoi, Katsumi Sasaki, Finite logics and the simple substitution property, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 74 - 78
BIBTEX@Article{ authors = " Tsutomu Hosoi, Katsumi Sasaki", title = "Finite logics and the simple substitution property", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "74 - 78" }
-
On theories of non-monotonic consequence operations IIs. 79 - 83CZYSTY TEKST
Dorota Fijałkowska, Jan Fijałkowski, On theories of non-monotonic consequence operations II, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 79 - 83
BIBTEX@Article{ authors = " Dorota Fijałkowska, Jan Fijałkowski", title = "On theories of non-monotonic consequence operations II", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "79 - 83" }
-
Some modofications of the Godel translation of classical logic into intuitionistic logics. 84 - 86CZYSTY TEKST
Branislav R. Boricic, Some modofications of the Godel translation of classical logic into intuitionistic logic, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 84 - 86
BIBTEX@Article{ authors = " Branislav R. Boricic", title = "Some modofications of the Godel translation of classical logic into intuitionistic logic", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "84 - 86" }
-
An integer-valued matrix characteristic for implicational S5s. 87 - 91CZYSTY TEKST
Dolph Ulrich, An integer-valued matrix characteristic for implicational S5, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 87 - 91
BIBTEX@Article{ authors = " Dolph Ulrich", title = "An integer-valued matrix characteristic for implicational S5", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "87 - 91" }
-
Intuitionistic sentential calculus with identitys. 92 - 99CZYSTY TEKST
Piotr Łukowski, Intuitionistic sentential calculus with identity, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 92 - 99
BIBTEX@Article{ authors = " Piotr Łukowski", title = "Intuitionistic sentential calculus with identity", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "92 - 99" }
-
Peirced Clean Throughs. 100 - 101CZYSTY TEKST
Robert K. Meyer, Peirced Clean Through, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 100 - 101
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Peirced Clean Through", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "100 - 101" }
-
On pure refutation formulations of sentential logicss. 102 - 107CZYSTY TEKST
Tomasz Skura, On pure refutation formulations of sentential logics, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 102 - 107
BIBTEX@Article{ authors = " Tomasz Skura", title = "On pure refutation formulations of sentential logics", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "102 - 107" }
-
A question about semilatticess. 108 - 111CZYSTY TEKST
Bogusław Wolniewicz, A question about semilattices, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 108 - 111
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "A question about semilattices", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "108 - 111" }
