-
Admissible rules for temporal logic LinTGrzs. 60 - 66CZYSTY TEKST
Julia V. Bezgacheva, Admissible rules for temporal logic LinTGrz, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 60 - 66
BIBTEX@Article{ authors = " Julia V. Bezgacheva", title = "Admissible rules for temporal logic LinTGrz", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "60 - 66" }
-
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logicss. 67 - 72CZYSTY TEKST
Anna Wójtowicz, The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 67 - 72
BIBTEX@Article{ authors = " Anna Wójtowicz", title = "The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "67 - 72" }
-
Extensions of modal logic S5 preserving NP-completenesss. 73 - 84CZYSTY TEKST
Stephane Demri, Extensions of modal logic S5 preserving NP-completeness, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 73 - 84
BIBTEX@Article{ authors = " Stephane Demri", title = "Extensions of modal logic S5 preserving NP-completeness", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "73 - 84" }
-
Jonsson's lemma for regular and nilpotent shifts of pseudovarietiess. 85 - 93CZYSTY TEKST
Ivan Chajda, Ewa Graczyńska, Jonsson's lemma for regular and nilpotent shifts of pseudovarieties, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 85 - 93
BIBTEX@Article{ authors = " Ivan Chajda, Ewa Graczyńska", title = "Jonsson's lemma for regular and nilpotent shifts of pseudovarieties", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "85 - 93" }
-
On minimal resolution proof for resolution logicss. 94 - 101CZYSTY TEKST
Zbigniew Stachniak, On minimal resolution proof for resolution logics, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 94 - 101
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "On minimal resolution proof for resolution logics", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "94 - 101" }
-
A general approach to the algebras of unary functions in a Boolean semantics for natural languages. 102 - 108CZYSTY TEKST
Marek Nowak, A general approach to the algebras of unary functions in a Boolean semantics for natural language, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 102 - 108
BIBTEX@Article{ authors = " Marek Nowak", title = "A general approach to the algebras of unary functions in a Boolean semantics for natural language", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "102 - 108" }
