wyszukiwanie zaawansowane

TYTUŁ

Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

2004 / Tom 33 / Numer 1 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

A Modal Extension of First Order Classical Logic, Part II

s. 1 - 10

Francisco Kibedi George Tourlakis

CZYSTY TEKST

BIBTEX
A Sequent System of the Logic R- for Rosser Sentences

s. 11 - 21

Shigeo Ohama Katsumi Sasaki

CZYSTY TEKST

BIBTEX
Sequential Calculi for Many-valued Logics with Equality Determinant

s. 23 - 32

Alexej P. Pynko

CZYSTY TEKST

BIBTEX
On Set Theory as a Foundation for Computer Science

s. 33 - 40

N.C.A. da Costa F.A. Doria

CZYSTY TEKST

BIBTEX
Formalization of a Plausible Inference

s. 41 - 52

Szymon Frankowski

CZYSTY TEKST

BIBTEX
Deduction Chains and DC-like Decision Procedure for Guarded Logic

s. 53 - 65

Andrei Kouznetsov

CZYSTY TEKST

BIBTEX