-
Critical varieties of bi-closure algebrass. 2 - 8CZYSTY TEKST
Rewaz Grigolia, Slava Meskhi, Critical varieties of bi-closure algebras, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Rewaz Grigolia, Slava Meskhi", title = "Critical varieties of bi-closure algebras", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "2 - 8" }
-
Interpolation properties for a class of many-valued propositional calculis. 9 - 16CZYSTY TEKST
Grzegorz Malinowski, Marek Michalczyk, Interpolation properties for a class of many-valued propositional calculi, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 9 - 16
BIBTEX@Article{ authors = " Grzegorz Malinowski, Marek Michalczyk", title = "Interpolation properties for a class of many-valued propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "9 - 16" }
-
The Boolean algebra of objectivess. 17 - 23CZYSTY TEKST
Bogusław Wolniewicz, The Boolean algebra of objectives, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 17 - 23
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "The Boolean algebra of objectives", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "17 - 23" }
-
Kripke-style semantics for Jaskowski's system Qfs. 24 - 29CZYSTY TEKST
Max Peter Urchs, Kripke-style semantics for Jaskowski's system Qf, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 24 - 29
BIBTEX@Article{ authors = " Max Peter Urchs", title = "Kripke-style semantics for Jaskowski's system Qf", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "24 - 29" }
-
On the theory of labels-tokenss. 30 - 34CZYSTY TEKST
Urszula Wybraniec-Skardowska, On the theory of labels-tokens, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 30 - 34
BIBTEX@Article{ authors = " Urszula Wybraniec-Skardowska", title = "On the theory of labels-tokens", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "30 - 34" }
-
Proofs of regular identitiess. 35 - 37CZYSTY TEKST
Ewa M. Graczyńska, Francis Pastijn, Proofs of regular identities, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 35 - 37
BIBTEX@Article{ authors = " Ewa M. Graczyńska, Francis Pastijn", title = "Proofs of regular identities", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "35 - 37" }
-
Notes on decidability and finite approximability of sentential logicss. 38 - 41CZYSTY TEKST
Jan Zygmunt, Notes on decidability and finite approximability of sentential logics, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 38 - 41
BIBTEX@Article{ authors = " Jan Zygmunt", title = "Notes on decidability and finite approximability of sentential logics", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "38 - 41" }
-
Lindenbaum's extensionss. 42 - 47CZYSTY TEKST
Andrzej Biela, Teodor Stępień, Lindenbaum's extensions, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 42 - 47
BIBTEX@Article{ authors = " Andrzej Biela, Teodor Stępień", title = "Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "42 - 47" }
-
Ideals in BCK-algebras which are lower semilatticess. 48 - 55CZYSTY TEKST
Marek Pałasiński, Ideals in BCK-algebras which are lower semilattices, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 48 - 55
BIBTEX@Article{ authors = " Marek Pałasiński", title = "Ideals in BCK-algebras which are lower semilattices", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "48 - 55" }
