TYTUŁ
Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2
1979 / Tom 8 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
An example concerning the lattice of the structural consequence operationss. 48 - 52CZYSTY TEKSTBIBTEX
-
On two notions concerning the structural sentential calculis. 54 - 60CZYSTY TEKSTBIBTEX
-
Finite structural axiomatization of every finite-valued propositional calculuss. 61 - 67CZYSTY TEKSTBIBTEX
-
A three element matrix whose consequence operation is not finitely baseds. 68 - 70CZYSTY TEKSTBIBTEX
-
Matrix representations for structural strengthenings of a propositional logics. 72 - 78CZYSTY TEKSTBIBTEX
-
Large matrices which induce finite consequence operationss. 79 - 82CZYSTY TEKSTBIBTEX
-
A characterization of Matr(C)s. 83 - 86CZYSTY TEKSTBIBTEX
-
On strongly finite consequence operationss. 87 - 94CZYSTY TEKSTBIBTEX
-
An example of strongly finite consequence operation with continuum standard strengtheningss. 95 - 98CZYSTY TEKSTBIBTEX
-
Strongly finie logics: Finite axiomatizability and the problem of supremums. 99 - 111CZYSTY TEKSTBIBTEX
-
Entailment relations and matrices Is. 112 - 119CZYSTY TEKSTBIBTEX
