-
On theories of non-monotonic consequence operationss. 44 - 50CZYSTY TEKST
Jan Fijałkowski, On theories of non-monotonic consequence operations, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 44 - 50
BIBTEX@Article{ authors = " Jan Fijałkowski", title = "On theories of non-monotonic consequence operations", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "44 - 50" }
-
A note on temporal logics. 51 - 121CZYSTY TEKST
Newton C.A. da Costa, A note on temporal logic, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 51 - 121
BIBTEX@Article{ authors = " Newton C.A. da Costa", title = "A note on temporal logic", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "51 - 121" }
-
On monadic logic of recursive programs with parameterss. 57 - 61CZYSTY TEKST
On monadic logic of recursive programs with parameters, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 57 - 61
BIBTEX@Article{ authors = "", title = "On monadic logic of recursive programs with parameters", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "57 - 61" }
-
Intermediate logics characterized by a class of algebraic frames with infinite individual domains. 63 - 71CZYSTY TEKST
Nobu-Yuki Suzuki, Intermediate logics characterized by a class of algebraic frames with infinite individual domain, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 63 - 71
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "Intermediate logics characterized by a class of algebraic frames with infinite individual domain", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "63 - 71" }
-
Amalgamation, epimorphisms and definability properties in algebraic logics. 72 - 78CZYSTY TEKST
Ildiko Sain, Amalgamation, epimorphisms and definability properties in algebraic logic, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 72 - 78
BIBTEX@Article{ authors = " Ildiko Sain", title = "Amalgamation, epimorphisms and definability properties in algebraic logic", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "72 - 78" }
-
On the logic of distributive latticess. 79 - 86CZYSTY TEKST
Josep Maria Font, Ventura Verdu, On the logic of distributive lattices, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 79 - 86
BIBTEX@Article{ authors = " Josep Maria Font, Ventura Verdu", title = "On the logic of distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "79 - 86" }
-
The common rules of binary connectives are finitely baseds. 87 - 93CZYSTY TEKST
Wolfgang Rautenberg, The common rules of binary connectives are finitely based, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 87 - 93
BIBTEX@Article{ authors = " Wolfgang Rautenberg", title = "The common rules of binary connectives are finitely based", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "87 - 93" }
