TYTUŁ
Bulletin of the Section of Logic 1999 / Tom 28 / Numer 2
1999 / Tom 28 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Cut elimination in adjunctions. 61 - 73CZYSTY TEKSTBIBTEX
-
A note on varieties of PCI-algebras with EDPCs. 75 - 81CZYSTY TEKSTBIBTEX
-
A normalization theorem for P-Ws. 83 - 88CZYSTY TEKSTBIBTEX
-
A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semanticss. 89 - 97CZYSTY TEKSTBIBTEX
-
Mixing modal and sufficiency operatorss. 99 - 107CZYSTY TEKSTBIBTEX
-
A remark on super-intuitionistic predicate logics having the same propositional fragments. 107 - 115CZYSTY TEKSTBIBTEX
