TYTUŁ
Bulletin of the Section of Logic
1980 / Tom 9 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
The strongly adequate matrices of the form of product of Lindenbaum's matricess. 102 - 107CZYSTY TEKSTBIBTEX
-
Equivalential logics (II)s. 108 - 114CZYSTY TEKSTBIBTEX
-
On the lattice of elementary situationss. 115 - 121CZYSTY TEKSTBIBTEX
-
A matrix adequate for S5 with MP and RNs. 122 - 124CZYSTY TEKSTBIBTEX
-
A remark on free productss. 125 - 130CZYSTY TEKSTBIBTEX
-
Remarks on Floyd-Hoare derivabilitys. 131 - 135CZYSTY TEKSTBIBTEX
-
The degrees of maximality of the intuitionistic propositional logic and of some of its fragmentss. 136 - 140CZYSTY TEKSTBIBTEX
-
Independent basis for the consequence determined by non-degenerated distributive latticess. 141 - 144CZYSTY TEKSTBIBTEX
-
On ideals in directed commutative BCK-algebras. 145 - 151CZYSTY TEKSTBIBTEX
