TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2001 / Tom 30 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

On Komori Algebras

s. 67 - 70

Yuichi Komori

CZYSTY TEKST
Yuichi Komori, On Komori Algebras, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 67 - 70

BIBTEX
@Article{ authors = " Yuichi Komori", title = "On Komori Algebras", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "67 - 70" }
Atomic Incompleteness or how to Kill One Bird with Two Stones

s. 71 - 78

Marcus Kracht Tomasz Kowalski

CZYSTY TEKST
Marcus Kracht, Tomasz Kowalski, Atomic Incompleteness or how to Kill One Bird with Two Stones, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 71 - 78

BIBTEX
@Article{ authors = " Marcus Kracht, Tomasz Kowalski", title = "Atomic Incompleteness or how to Kill One Bird with Two Stones", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "71 - 78" }
Theorem Provers with Countermodels and xpe

s. 79 - 87

Motohiko Mouri

CZYSTY TEKST
Motohiko Mouri, Theorem Provers with Countermodels and xpe, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 79 - 87

BIBTEX
@Article{ authors = " Motohiko Mouri", title = "Theorem Provers with Countermodels and xpe", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "79 - 87" }
Finite Model Property for Some Intuitionistic Modal Logics

s. 87 - 97

Yasusi Hasimoto

CZYSTY TEKST
Yasusi Hasimoto, Finite Model Property for Some Intuitionistic Modal Logics, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 87 - 97

BIBTEX
@Article{ authors = " Yasusi Hasimoto", title = "Finite Model Property for Some Intuitionistic Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "87 - 97" }
Subframe Formulas for S4-type Intuitionistic Modal Logic

s. 99 - 105

Kazuyo Inoi

CZYSTY TEKST
Kazuyo Inoi, Subframe Formulas for S4-type Intuitionistic Modal Logic, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 99 - 105

BIBTEX
@Article{ authors = " Kazuyo Inoi", title = "Subframe Formulas for S4-type Intuitionistic Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "99 - 105" }
Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics

s. 107 - 114

Tatsuya Shimura

CZYSTY TEKST
Tatsuya Shimura, Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 107 - 114

BIBTEX
@Article{ authors = " Tatsuya Shimura", title = "Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "107 - 114" }
A Modified Subformula Property for K5 and K5D

s. 115 - 122

Mitio Takano

CZYSTY TEKST
Mitio Takano, A Modified Subformula Property for K5 and K5D, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 115 - 122

BIBTEX
@Article{ authors = " Mitio Takano", title = "A Modified Subformula Property for K5 and K5D", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "115 - 122" }