-
Boolean Programs and Quantified Propositional Proof Systemss. 119 - 129CZYSTY TEKST
Stephen Cook, Michael Sołtys, Boolean Programs and Quantified Propositional Proof Systems, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 119 - 129
BIBTEX@Article{ authors = " Stephen Cook, Michael Sołtys", title = "Boolean Programs and Quantified Propositional Proof Systems", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "119 - 129" }
-
Positive Implicative BCK-algebras with Condition (S)s. 131 - 133CZYSTY TEKST
Janis Cirulis, Positive Implicative BCK-algebras with Condition (S), Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 131 - 133
BIBTEX@Article{ authors = " Janis Cirulis", title = "Positive Implicative BCK-algebras with Condition (S)", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "131 - 133" }
-
An explicit basis for rules admissible in modal system S4s. 135 - 144CZYSTY TEKST
Vladimir V. Rybakov, An explicit basis for rules admissible in modal system S4, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 135 - 144
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "An explicit basis for rules admissible in modal system S4", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "135 - 144" }
-
An essay on unification and inference rules for modal logicss. 145 - 158CZYSTY TEKST
C. Gencer, Vladimir V. Rybakov, M. Terziler, An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 145 - 158
BIBTEX@Article{ authors = " C. Gencer, Vladimir V. Rybakov, M. Terziler", title = "An essay on unification and inference rules for modal logics", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "145 - 158" }
-
Birkhoff's theorems via tree operadss. 159 - 178CZYSTY TEKST
Ewa Graczyńska, Zbigniew Oziewicz, Birkhoff's theorems via tree operads, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 159 - 178
BIBTEX@Article{ authors = " Ewa Graczyńska, Zbigniew Oziewicz", title = "Birkhoff's theorems via tree operads", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "159 - 178" }
-
A reductive approach to L-decidabilitys. 171 - 177CZYSTY TEKST
Piotr Łukowski, A reductive approach to L-decidability, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 171 - 177
BIBTEX@Article{ authors = " Piotr Łukowski", title = "A reductive approach to L-decidability", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "171 - 177" }
