-
The criterion of Brouwerian and closure algebras to be finitely generateds. 46 - 52CZYSTY TEKST
Leo Esakia, Revaz Grigolia, The criterion of Brouwerian and closure algebras to be finitely generated, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 46 - 52
BIBTEX@Article{ authors = " Leo Esakia, Revaz Grigolia", title = "The criterion of Brouwerian and closure algebras to be finitely generated", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "46 - 52" }
-
New axioms for Boolean geometrys. 53 - 63CZYSTY TEKST
David Miller, New axioms for Boolean geometry, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 53 - 63
BIBTEX@Article{ authors = " David Miller", title = "New axioms for Boolean geometry", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "53 - 63" }
-
On distributivity of closure systemss. 64 - 66CZYSTY TEKST
Wojciech Dzik, Roman Suszko, On distributivity of closure systems, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 64 - 66
BIBTEX@Article{ authors = " Wojciech Dzik, Roman Suszko", title = "On distributivity of closure systems", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "64 - 66" }
-
Deduction theorems for RM and its extensionss. 67 - 69CZYSTY TEKST
Marek Tokarz, Deduction theorems for RM and its extensions, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 67 - 69
BIBTEX@Article{ authors = " Marek Tokarz", title = "Deduction theorems for RM and its extensions", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "67 - 69" }
-
A completeness proof for an infinitary tense logics. 70 - 73CZYSTY TEKST
Goran Sundholm, A completeness proof for an infinitary tense logic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 70 - 73
BIBTEX@Article{ authors = " Goran Sundholm", title = "A completeness proof for an infinitary tense logic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "70 - 73" }
-
Degrees of maximality of Lukasiewicz-like sentential calculis. 74 - 81CZYSTY TEKST
Grzegorz Malinowski, Degrees of maximality of Lukasiewicz-like sentential calculi, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 74 - 81
BIBTEX@Article{ authors = " Grzegorz Malinowski", title = "Degrees of maximality of Lukasiewicz-like sentential calculi", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "74 - 81" }
-
Remarks on Mn-counterparts of some normal calculis. 82 - 95CZYSTY TEKST
Jerzy J. Błaszczuk, Remarks on Mn-counterparts of some normal calculi, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 82 - 95
BIBTEX@Article{ authors = " Jerzy J. Błaszczuk", title = "Remarks on Mn-counterparts of some normal calculi", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "82 - 95" }
