-
Decidability in Pratt's process logics. 88 - 95CZYSTY TEKST
Zdzisław Habasiński, Decidability in Pratt's process logic, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 88 - 95
BIBTEX@Article{ authors = " Zdzisław Habasiński", title = "Decidability in Pratt's process logic", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "88 - 95" }
-
Gentzen semantics for de Morgan lattice logics. 96 - 102CZYSTY TEKST
Andre T. Fuhrmann, Gentzen semantics for de Morgan lattice logic, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 96 - 102
BIBTEX@Article{ authors = " Andre T. Fuhrmann", title = "Gentzen semantics for de Morgan lattice logic", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "96 - 102" }
-
A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numberss. 102 - 106CZYSTY TEKST
Alexander S. Karpenko, A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numbers, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 102 - 106
BIBTEX@Article{ authors = " Alexander S. Karpenko", title = "A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numbers", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "102 - 106" }
-
The bibinary semantics for R and Lωs. 109 - 114CZYSTY TEKST
Vladimir L. Vasyukov, The bibinary semantics for R and Lω, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 109 - 114
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "The bibinary semantics for R and Lω", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "109 - 114" }
-
On the operations definable in terms of the complementation and the closures. 117 - 121CZYSTY TEKST
Stanisław Wroński, On the operations definable in terms of the complementation and the closure, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 117 - 121
BIBTEX@Article{ authors = " Stanisław Wroński", title = "On the operations definable in terms of the complementation and the closure", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "117 - 121" }
-
Lower level connections between representations of relation algebras : abstracts. 123 - 125CZYSTY TEKST
Gyorgy Sereny, Lower level connections between representations of relation algebras : abstract, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 123 - 125
BIBTEX@Article{ authors = " Gyorgy Sereny", title = "Lower level connections between representations of relation algebras : abstract", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "123 - 125" }
