TYTUŁ
Bulletin of the Section of Logic
1981 / Tom 10 / Numer 3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On the EK-fragments of positive and classical propositional calculuss. 100 - 103CZYSTY TEKSTBIBTEX
-
On regular and symmetric identitiess. 104 - 107CZYSTY TEKSTBIBTEX
-
An equational basis for commutative BCK-algebrass. 108 - 112CZYSTY TEKSTBIBTEX
-
On matrices characteristic of relevant logicss. 113 - 115CZYSTY TEKSTBIBTEX
-
Craig-Godel-Lindenbaum's property and Sobicinski-Tarski's property in propositional calculis. 116 - 121CZYSTY TEKSTBIBTEX
-
Problems with the category theoretic notions of ultraproductss. 122 - 127CZYSTY TEKSTBIBTEX
-
Splittings of lattices of quasivarietiess. 128 - 129CZYSTY TEKSTBIBTEX
-
Quasivarieties of Heyting algebrass. 130 - 134CZYSTY TEKSTBIBTEX
-
On equivalential fragment of the implicative extentional consequences. 135 - 143CZYSTY TEKSTBIBTEX