TYTUŁ
Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1
1983 / Tom 12 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Intuitionistic implication in some non-classical modal logics of type S4s. 2 - 7CZYSTY TEKSTBIBTEX
-
Paraconsistency, paracompleteness and intentional contradictionss. 8 - 16CZYSTY TEKSTBIBTEX
-
Pretabular varieties of N-latticess. 17 - 20CZYSTY TEKSTBIBTEX
-
Truth-arguments and independences. 21 - 26CZYSTY TEKSTBIBTEX
-
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarietiess. 27 - 31CZYSTY TEKSTBIBTEX
-
Structural completeness of modal logics containing K4s. 32 - 36CZYSTY TEKSTBIBTEX
-
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebrass. 37 - 40CZYSTY TEKSTBIBTEX
-
Structural completeness of some fragments of intermediate logicss. 41 - 49CZYSTY TEKSTBIBTEX
