TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

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

Francisco Kibedi George Tourlakis

CZYSTY TEKST
Francisco Kibedi, George Tourlakis, 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 = " Francisco Kibedi, George Tourlakis", 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

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

CZYSTY TEKST
Edward Hermann Haeusler, Christian J. Renteria, 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 = " Edward Hermann Haeusler, Christian J. Renteria, 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" }