TYTUŁ
Bulletin of the Section of Logic 1996 / Tom 25 / Numer 1
1996 / Tom 25 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A general framework for the logic of theory changes. 2 - 8CZYSTY TEKSTBIBTEX
-
Simple sandwiches and related results of Keisler and Kochens. 9 - 14CZYSTY TEKSTBIBTEX
-
Paraconsistent extensions of positive logics. 15 - 20CZYSTY TEKSTBIBTEX
-
A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logics. 21 - 28CZYSTY TEKSTBIBTEX
-
Ontology can turn negative results to positives. 29 - 40CZYSTY TEKSTBIBTEX
-
Kripke semantics for logic with BCKs. 41 - 51CZYSTY TEKSTBIBTEX
-
The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generations. 52 - 57CZYSTY TEKSTBIBTEX
-
A Perzanowski's hypothesis confirmeds. 58 - 59CZYSTY TEKSTBIBTEX
-
A new axiomatization of K1s. 60 - 62CZYSTY TEKSTBIBTEX
