-
On Two Open Questions Concerning the Implicational Fragment of R-mingles. 1 - 4CZYSTY TEKST
Dolph Ulrich, On Two Open Questions Concerning the Implicational Fragment of R-mingle, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 1 - 4
BIBTEX@Article{ authors = " Dolph Ulrich", title = "On Two Open Questions Concerning the Implicational Fragment of R-mingle", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "1 - 4" }
-
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logics. 5 - 11CZYSTY TEKST
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 5 - 11
BIBTEX@Article{ authors = "", title = "A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "5 - 11" }
-
A New Foundation of a Complete Boolean Equational Logics. 13 - 29CZYSTY TEKST
George Tourlakis, A New Foundation of a Complete Boolean Equational Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 13 - 29
BIBTEX@Article{ authors = " George Tourlakis", title = "A New Foundation of a Complete Boolean Equational Logic", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "13 - 29" }
-
Classes of Algebras that are not Closed under Completionss. 29 - 43CZYSTY TEKST
Tarek Sayed Ahmed, Classes of Algebras that are not Closed under Completions, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 29 - 43
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Classes of Algebras that are not Closed under Completions", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "29 - 43" }
-
New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2s. 45 - 50CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 45 - 50
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "45 - 50" }
-
A Note on Generalized Functional Completeness in the Realm of Elementary Logics. 51 - 59CZYSTY TEKST
A Note on Generalized Functional Completeness in the Realm of Elementary Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 51 - 59
BIBTEX@Article{ authors = "", title = "A Note on Generalized Functional Completeness in the Realm of Elementary Logic", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "51 - 59" }
-
The Basic Constructive Logic for Weak Consistency and the Reductio Axiomss. 61 - 76CZYSTY TEKST
Gemma Robles, Jose M. Mendez, The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 61 - 76
BIBTEX@Article{ authors = " Gemma Robles, Jose M. Mendez", title = "The Basic Constructive Logic for Weak Consistency and the Reductio Axioms", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "61 - 76" }
-
A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wangs. 77 - 94CZYSTY TEKST
A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 77 - 94
BIBTEX@Article{ authors = "", title = "A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "77 - 94" }
