TYTUŁ
Bulletin of the Section of Logic 1973 / Tom 2 / Numer 1
1973 / Tom 2 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A criterion of functional completeness for B3s. 3 - 6CZYSTY TEKSTBIBTEX
-
On certain modal systems connected with S4,3s. 8 - 11CZYSTY TEKSTBIBTEX
-
The axiomatizations of S.Jaskowski's discussive systems. 12 - 15CZYSTY TEKSTBIBTEX
-
A semantics for the calculus E of entailments. 18 - 20CZYSTY TEKSTBIBTEX
-
A predicate calculus with formulas which lose sense and the corresponding propositional calculuss. 22 - 27CZYSTY TEKSTBIBTEX
-
The sequent Gentzen system for m-valued logics. 30 - 35CZYSTY TEKSTBIBTEX
-
An absolute first order predicte calculuss. 38 - 43CZYSTY TEKSTBIBTEX
-
Some conections between Cn and Cn-1 and dCns. 46 - 49CZYSTY TEKSTBIBTEX
-
On mutual non-reconstructability of the Lukasiewicz calculi and their dual counterpartss. 51 - 52CZYSTY TEKSTBIBTEX
-
Dual counterparts of consequence operationss. 54 - 56CZYSTY TEKSTBIBTEX
-
Remarks on intermediate logics with axioms containing only one variables. 58 - 62CZYSTY TEKSTBIBTEX
-
On the degree of completeness of positive logics. 65 - 69CZYSTY TEKSTBIBTEX
