TYTUŁ
Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3
1983 / Tom 12 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Pseudo-referential matrix semantics for propositional logicss. 90 - 98CZYSTY TEKSTBIBTEX
-
Axiomatization of intuitionistic double negations. 99 - 104CZYSTY TEKSTBIBTEX
-
Strong amalgamation property of diagonalizable algebrass. 105 - 110CZYSTY TEKSTBIBTEX
-
Algebraic aspects of deduction theoremss. 111 - 116CZYSTY TEKSTBIBTEX
-
Some elementary properties of conditionally distributive latticess. 117 - 121CZYSTY TEKSTBIBTEX
-
A characterization of prime theories in Johansson's minimal logics. 122 - 125CZYSTY TEKSTBIBTEX
-
BCI-algebras from the point of view of logics. 126 - 129CZYSTY TEKSTBIBTEX
-
Quasivarieties for BCK-logics. 130 - 133CZYSTY TEKSTBIBTEX
-
Varieties of commutative BCK-algebras not generated by their finite memberss. 134 - 135CZYSTY TEKSTBIBTEX
