TYTUŁ
Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3
1997 / Tom 26 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lωs. 112 - 117CZYSTY TEKSTBIBTEX
-
Bimodal propositional logic S52Cns. 118 - 125CZYSTY TEKSTBIBTEX
-
Finite bases of admissible inference rules for modal logics of width 2s. 126 - 134CZYSTY TEKSTBIBTEX
-
Fixed points of modal negative operatorss. 135 - 138CZYSTY TEKSTBIBTEX
-
On the finitization problem of relation algebrass. 139 - 143CZYSTY TEKSTBIBTEX
-
Characterisations for fork algebras and their relational reductss. 144 - 155CZYSTY TEKSTBIBTEX
-
Paraconsistent logics!s. 156 - 163CZYSTY TEKSTBIBTEX
