TYTUŁ
Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2
2000 / Tom 29 / Numer 1-2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On some misconceptions about ultrafilter logics. 1 - 12CZYSTY TEKSTBIBTEX
-
Implicative logics, sequential deductive systems and exponential multicategoriess. 13 - 25CZYSTY TEKSTBIBTEX
-
A remark on quasivarieties of modal algebrass. 27 - 30CZYSTY TEKSTBIBTEX
-
Proofs of tree identitiess. 31 - 41CZYSTY TEKSTBIBTEX
-
A basic formal equational predicate logic - Part Is. 43 - 56CZYSTY TEKSTBIBTEX
-
Intuitionistic discursive system (IDS)s. 57 - 62CZYSTY TEKSTBIBTEX
-
A note on relationship between the consequence operations Cn' and dCns. 63 - 67CZYSTY TEKSTBIBTEX
