TYTUŁ
Bulletin of the Section of Logic
2009 / Tom 38 / Numer 1-2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On Two Open Questions Concerning the Implicational Fragment of R-mingles. 1 - 4CZYSTY TEKSTBIBTEX
-
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logics. 5 - 11CZYSTY TEKSTBIBTEX
-
A New Foundation of a Complete Boolean Equational Logics. 13 - 29CZYSTY TEKSTBIBTEX
-
Classes of Algebras that are not Closed under Completionss. 29 - 43CZYSTY TEKSTBIBTEX
-
New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2s. 45 - 50CZYSTY TEKSTBIBTEX
-
A Note on Generalized Functional Completeness in the Realm of Elementary Logics. 51 - 59CZYSTY TEKSTBIBTEX
-
The Basic Constructive Logic for Weak Consistency and the Reductio Axiomss. 61 - 76CZYSTY TEKSTBIBTEX
-
A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wangs. 77 - 94CZYSTY TEKSTBIBTEX
