TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2005 / Tom 34 / Numer 3 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Sequent Calculi for Monotonic Modal Logics

s. 151 - 164

Andrzej Indrzejczak

CZYSTY TEKST
Andrzej Indrzejczak, Sequent Calculi for Monotonic Modal Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 151 - 164

BIBTEX
@Article{ authors = " Andrzej Indrzejczak", title = "Sequent Calculi for Monotonic Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "151 - 164" }
Applicability of Motohashi's Method to Modal Logics

s. 121 - 134

Hirohiko Kushida

CZYSTY TEKST
Hirohiko Kushida, Applicability of Motohashi's Method to Modal Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 121 - 134

BIBTEX
@Article{ authors = " Hirohiko Kushida", title = "Applicability of Motohashi's Method to Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "121 - 134" }
D-complete Axioms for the Classical Equivalential Calculus

s. 135 - 142

Dolph Urlich

CZYSTY TEKST
Dolph Urlich, D-complete Axioms for the Classical Equivalential Calculus, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 135 - 142

BIBTEX
@Article{ authors = " Dolph Urlich", title = "D-complete Axioms for the Classical Equivalential Calculus", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "135 - 142" }
Rado Selection Lemma and Other Combinatorial Statements Uniformly Proved

s. 143 - 149

Adam Kolany

CZYSTY TEKST
Adam Kolany, Rado Selection Lemma and Other Combinatorial Statements Uniformly Proved, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 143 - 149

BIBTEX
@Article{ authors = " Adam Kolany", title = "Rado Selection Lemma and Other Combinatorial Statements Uniformly Proved", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "143 - 149" }
Cut-free Single-succedent Systems Revisited

s. 165 - 175

Norihiro Kamide

CZYSTY TEKST
Norihiro Kamide, Cut-free Single-succedent Systems Revisited, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 165 - 175

BIBTEX
@Article{ authors = " Norihiro Kamide", title = "Cut-free Single-succedent Systems Revisited", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "165 - 175" }
A Constructive Negation Defined with aNegation Connective for Logics Including Bp+

s. 177 - 189

Gemma Robles Francisco Salto Jose M. Mendez

CZYSTY TEKST
Gemma Robles, Francisco Salto, Jose M. Mendez, A Constructive Negation Defined with aNegation Connective for Logics Including Bp+, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 177 - 189

BIBTEX
@Article{ authors = " Gemma Robles, Francisco Salto, Jose M. Mendez", title = "A Constructive Negation Defined with aNegation Connective for Logics Including Bp+", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "177 - 189" }