TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2003 / Tom 32 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

A Modal Extension of First Order Classical Logic, Part I

s. 165 - 177

George Tourlakis Francisco Kibedi

CZYSTY TEKST
George Tourlakis, Francisco Kibedi, A Modal Extension of First Order Classical Logic, Part I, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 165 - 177

BIBTEX
@Article{ authors = " George Tourlakis, Francisco Kibedi", title = "A Modal Extension of First Order Classical Logic, Part I", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "165 - 177" }
Positive and Negative Properties : a Logical Interpretation

s. 179 - 189

Janusz Kaczmarek

CZYSTY TEKST
Janusz Kaczmarek, Positive and Negative Properties : a Logical Interpretation, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 179 - 189

BIBTEX
@Article{ authors = " Janusz Kaczmarek", title = "Positive and Negative Properties : a Logical Interpretation", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "179 - 189" }
NUL: Natural Deduction for Ultrafilter Logic

s. 191 - 199

Christian J. Renteria Edward Hermann Haeusler Paulo A.S. Veloso

CZYSTY TEKST
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso, NUL: Natural Deduction for Ultrafilter Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 191 - 199

BIBTEX
@Article{ authors = " Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso", title = "NUL: Natural Deduction for Ultrafilter Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "191 - 199" }
Time Complexity of Proof search Procedure for K4

s. 201 - 211

Toshimasa Matsumoto

CZYSTY TEKST
Toshimasa Matsumoto, Time Complexity of Proof search Procedure for K4, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 201 - 211

BIBTEX
@Article{ authors = " Toshimasa Matsumoto", title = "Time Complexity of Proof search Procedure for K4", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "201 - 211" }
A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic

s. 213 - 220

M.I. Golovanov Vladimir V. Rybakov E.M. Yurasova

CZYSTY TEKST
M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova, A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 213 - 220

BIBTEX
@Article{ authors = " M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova", title = "A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "213 - 220" }