TYTUŁ
Bulletin of the Section of Logic
1998 / Tom 27 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Axiomatization of the logics determined by finite relational systems of natural numbers with identitys. 152 - 155CZYSTY TEKSTBIBTEX
-
Arithmetizations of the syllogistic a la Leibnizs. 156 - 163CZYSTY TEKSTBIBTEX
-
Description of self-admissible quasi-characterizing inference ruless. 164 - 171CZYSTY TEKSTBIBTEX
-
The structure of rigid frames of restricted depths. 172 - 181CZYSTY TEKSTBIBTEX
-
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding propertys. 182 - 189CZYSTY TEKSTBIBTEX
-
A model Theoretic characterization of complexity of theoriess. 190 - 195CZYSTY TEKSTBIBTEX
-
Reasoning with partial situationss. 196 - 206CZYSTY TEKSTBIBTEX
