TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2009 / Tom 38 / Numer 1-2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

On Two Open Questions Concerning the Implicational Fragment of R-mingle

s. 1 - 4

Dolph Ulrich

CZYSTY 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 Logic

s. 5 - 11

George Metclafe

CZYSTY TEKST
George Metclafe, 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 = " George Metclafe", 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 Logic

s. 13 - 29

George Tourlakis

CZYSTY 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 Completions

s. 29 - 43

Tarek Sayed Ahmed Mohamed Khaled

CZYSTY TEKST
Tarek Sayed Ahmed, Mohamed Khaled, 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, Mohamed Khaled", 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 D2

s. 45 - 50

Marek Nasieniewski Andrzej Pietruszczak

CZYSTY 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 Logic

s. 51 - 59

henri Galinon

CZYSTY TEKST
henri Galinon, 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 = " henri Galinon", 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 Axioms

s. 61 - 76

Jose M. Mendez Gemma Robles

CZYSTY TEKST
Jose M. Mendez, Gemma Robles, 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 = " Jose M. Mendez, Gemma Robles", 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-Wang

s. 77 - 94

J. Soliveres Tur J. Climent Vidal

CZYSTY TEKST
J. Soliveres Tur, J. Climent Vidal, 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 = " J. Soliveres Tur, J. Climent Vidal", 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" }