-
Pseudo-referential matrix semantics for propositional logicss. 90 - 98CZYSTY TEKST
Grzegorz Malinowski, Pseudo-referential matrix semantics for propositional logics, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 90 - 98
BIBTEX@Article{ authors = " Grzegorz Malinowski", title = "Pseudo-referential matrix semantics for propositional logics", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "90 - 98" }
-
Axiomatization of intuitionistic double negations. 99 - 104CZYSTY TEKST
Milan Bozic, Kosta Dosen, Axiomatization of intuitionistic double negation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 99 - 104
BIBTEX@Article{ authors = " Milan Bozic, Kosta Dosen", title = "Axiomatization of intuitionistic double negation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "99 - 104" }
-
Strong amalgamation property of diagonalizable algebrass. 105 - 110CZYSTY TEKST
Irena Janicka-Żuk, Strong amalgamation property of diagonalizable algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 105 - 110
BIBTEX@Article{ authors = " Irena Janicka-Żuk", title = "Strong amalgamation property of diagonalizable algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "105 - 110" }
-
Algebraic aspects of deduction theoremss. 111 - 116CZYSTY TEKST
Janusz Czelakowski, Algebraic aspects of deduction theorems, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 111 - 116
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Algebraic aspects of deduction theorems", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "111 - 116" }
-
Some elementary properties of conditionally distributive latticess. 117 - 121CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Some elementary properties of conditionally distributive lattices, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 117 - 121
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Some elementary properties of conditionally distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "117 - 121" }
-
A characterization of prime theories in Johansson's minimal logics. 122 - 125CZYSTY TEKST
Jacek Hawranek, A characterization of prime theories in Johansson's minimal logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 122 - 125
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A characterization of prime theories in Johansson's minimal logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "122 - 125" }
-
BCI-algebras from the point of view of logics. 126 - 129CZYSTY TEKST
Jacek K. Kabziński, BCI-algebras from the point of view of logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 126 - 129
BIBTEX@Article{ authors = " Jacek K. Kabziński", title = "BCI-algebras from the point of view of logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "126 - 129" }
-
Quasivarieties for BCK-logics. 130 - 133CZYSTY TEKST
Jacek K. Kabziński, Quasivarieties for BCK-logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 130 - 133
BIBTEX@Article{ authors = " Jacek K. Kabziński", title = "Quasivarieties for BCK-logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "130 - 133" }
-
Varieties of commutative BCK-algebras not generated by their finite memberss. 134 - 135CZYSTY TEKST
Marek Pałasiński, Varieties of commutative BCK-algebras not generated by their finite members, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 134 - 135
BIBTEX@Article{ authors = " Marek Pałasiński", title = "Varieties of commutative BCK-algebras not generated by their finite members", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "134 - 135" }
