-
A Modal Extension of First Order Classical Logic, Part IIs. 1 - 10CZYSTY TEKST
George Tourlakis, Francisco Kibedi, A Modal Extension of First Order Classical Logic, Part II, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 1 - 10
BIBTEX@Article{ authors = " George Tourlakis, Francisco Kibedi", title = "A Modal Extension of First Order Classical Logic, Part II", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "1 - 10" }
-
A Sequent System of the Logic R- for Rosser Sentencess. 11 - 21CZYSTY TEKST
Katsumi Sasaki, Shigeo Ohama, A Sequent System of the Logic R- for Rosser Sentences, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 11 - 21
BIBTEX@Article{ authors = " Katsumi Sasaki, Shigeo Ohama", title = "A Sequent System of the Logic R- for Rosser Sentences", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "11 - 21" }
-
Sequential Calculi for Many-valued Logics with Equality Determinants. 23 - 32CZYSTY TEKST
Alexej P. Pynko, Sequential Calculi for Many-valued Logics with Equality Determinant, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 23 - 32
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "Sequential Calculi for Many-valued Logics with Equality Determinant", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "23 - 32" }
-
On Set Theory as a Foundation for Computer Sciences. 33 - 40CZYSTY TEKST
F.A. Doria, N.C.A. da Costa, On Set Theory as a Foundation for Computer Science, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 33 - 40
BIBTEX@Article{ authors = " F.A. Doria, N.C.A. da Costa", title = "On Set Theory as a Foundation for Computer Science", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "33 - 40" }
-
Formalization of a Plausible Inferences. 41 - 52CZYSTY TEKST
Szymon Frankowski, Formalization of a Plausible Inference, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 41 - 52
BIBTEX@Article{ authors = " Szymon Frankowski", title = "Formalization of a Plausible Inference", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "41 - 52" }
-
Deduction Chains and DC-like Decision Procedure for Guarded Logics. 53 - 65CZYSTY TEKST
Andrei Kouznetsov, Deduction Chains and DC-like Decision Procedure for Guarded Logic, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 53 - 65
BIBTEX@Article{ authors = " Andrei Kouznetsov", title = "Deduction Chains and DC-like Decision Procedure for Guarded Logic", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "53 - 65" }