TYTUŁ
Bulletin of the Section of Logic 1997 / Tom 26 / Numer 2
1997 / Tom 26 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Admissible rules for temporal logic LinTGrzs. 60 - 66CZYSTY TEKSTBIBTEX
-
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logicss. 67 - 72CZYSTY TEKSTBIBTEX
-
Extensions of modal logic S5 preserving NP-completenesss. 73 - 84CZYSTY TEKSTBIBTEX
-
Jonsson's lemma for regular and nilpotent shifts of pseudovarietiess. 85 - 93CZYSTY TEKSTBIBTEX
-
On minimal resolution proof for resolution logicss. 94 - 101CZYSTY TEKSTBIBTEX
-
A general approach to the algebras of unary functions in a Boolean semantics for natural languages. 102 - 108CZYSTY TEKSTBIBTEX
