-
On classification of commutative BCK-logicss. 30 - 32CZYSTY TEKST
Kazimiera Dyrda, On classification of commutative BCK-logics, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 30 - 32
BIBTEX@Article{ authors = " Kazimiera Dyrda", title = "On classification of commutative BCK-logics", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "30 - 32" }
-
On number of Lindenbaum's oversystems of propositional and predicate calculis. 34 - 38CZYSTY TEKST
Teodor Stępień, On number of Lindenbaum's oversystems of propositional and predicate calculi, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 34 - 38
BIBTEX@Article{ authors = " Teodor Stępień", title = "On number of Lindenbaum's oversystems of propositional and predicate calculi", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "34 - 38" }
-
QB and normal algebrass. 41 - 45CZYSTY TEKST
Bronisław Tembrowski, QB and normal algebras, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 41 - 45
BIBTEX@Article{ authors = " Bronisław Tembrowski", title = "QB and normal algebras", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "41 - 45" }
-
On a certain method of producing logical matricess. 2 - 5CZYSTY TEKST
Zdzisław Dywan, On a certain method of producing logical matrices, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 2 - 5
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "On a certain method of producing logical matrices", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "2 - 5" }
-
A new variant of the Godel-Malcev theorem for the classical propositional calculuss. 8 - 12CZYSTY TEKST
Zdzisław Dywan, A new variant of the Godel-Malcev theorem for the classical propositional calculus, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 8 - 12
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "A new variant of the Godel-Malcev theorem for the classical propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "8 - 12" }
-
On finitely E-based consequence determined by Wronski's matrixs. 15 - 18CZYSTY TEKST
Tadeusz Prucnal, On finitely E-based consequence determined by Wronski's matrix, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 15 - 18
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "On finitely E-based consequence determined by Wronski's matrix", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "15 - 18" }
-
Non-Fregean logic and other formalizations of propositional identitys. 21 - 27CZYSTY TEKST
Grzegorz Malinowski, Non-Fregean logic and other formalizations of propositional identity, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 21 - 27
BIBTEX@Article{ authors = " Grzegorz Malinowski", title = "Non-Fregean logic and other formalizations of propositional identity", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "21 - 27" }
