TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1988 / Tom 17 / Numer 3-4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Tableaux variants of some modal and relevant systems

s. 92 - 103

P. Bystrov

CZYSTY TEKST
P. Bystrov, Tableaux variants of some modal and relevant systems, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 92 - 103

BIBTEX
@Article{ authors = " P. Bystrov", title = "Tableaux variants of some modal and relevant systems", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "92 - 103" }
Logic of intensional acts and the theory of games

s. 104 - 113

CZYSTY TEKST
Logic of intensional acts and the theory of games, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 104 - 113

BIBTEX
@Article{ authors = "", title = "Logic of intensional acts and the theory of games", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "104 - 113" }
A semantics for modal calculi

s. 114 - 126

CZYSTY TEKST
A semantics for modal calculi, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 114 - 126

BIBTEX
@Article{ authors = "", title = "A semantics for modal calculi", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "114 - 126" }
Algebraic structure of the truth-values for Lω

s. 127 - 137

Alexander S. Karpenko

CZYSTY TEKST
Alexander S. Karpenko, Algebraic structure of the truth-values for Lω, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 127 - 137

BIBTEX
@Article{ authors = " Alexander S. Karpenko", title = "Algebraic structure of the truth-values for Lω", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "127 - 137" }
A constructive logic of program schemata on a decidable universe

s. 138 - 147

CZYSTY TEKST
A constructive logic of program schemata on a decidable universe, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 138 - 147

BIBTEX
@Article{ authors = "", title = "A constructive logic of program schemata on a decidable universe", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "138 - 147" }
Paraconsistent sequential calculi

s. 148 - 158

Vladimir M. Popov

CZYSTY TEKST
Vladimir M. Popov, Paraconsistent sequential calculi, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 148 - 158

BIBTEX
@Article{ authors = " Vladimir M. Popov", title = "Paraconsistent sequential calculi", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "148 - 158" }
Cut-elimination in second order logic

s. 159 - 161

CZYSTY TEKST
Cut-elimination in second order logic, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 159 - 161

BIBTEX
@Article{ authors = "", title = "Cut-elimination in second order logic", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "159 - 161" }
The law of contradiction and paradoxes of inference

s. 162 - 169

E.A. Sidorenko

CZYSTY TEKST
E.A. Sidorenko, The law of contradiction and paradoxes of inference, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 162 - 169

BIBTEX
@Article{ authors = " E.A. Sidorenko", title = "The law of contradiction and paradoxes of inference", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "162 - 169" }
Internal and external logic

s. 170 - 181

Vladimir A. Smirnov

CZYSTY TEKST
Vladimir A. Smirnov, Internal and external logic, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 170 - 181

BIBTEX
@Article{ authors = " Vladimir A. Smirnov", title = "Internal and external logic", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "170 - 181" }
T-F-toposes for Lukasiewicz's infinite-valued logics

s. 182 - 187

Vladimir L. Vasyukov

CZYSTY TEKST
Vladimir L. Vasyukov, T-F-toposes for Lukasiewicz's infinite-valued logics, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 182 - 187

BIBTEX
@Article{ authors = " Vladimir L. Vasyukov", title = "T-F-toposes for Lukasiewicz's infinite-valued logics", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "182 - 187" }