-
Tableaux variants of some modal and relevant systemss. 92 - 103CZYSTY 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 gamess. 104 - 113CZYSTY TEKST
A.T. Ischmuratov, 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 = " A.T. Ischmuratov", 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 calculis. 114 - 126CZYSTY TEKST
J.V. Ivlev, A semantics for modal calculi, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 114 - 126
BIBTEX@Article{ authors = " J.V. Ivlev", 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 - 137CZYSTY 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 universes. 138 - 147CZYSTY TEKST
N.N. Nepejvoda, 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 = " N.N. Nepejvoda", 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 calculis. 148 - 158CZYSTY 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 logics. 159 - 161CZYSTY TEKST
O.F. Serebriannikov, Cut-elimination in second order logic, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 159 - 161
BIBTEX@Article{ authors = " O.F. Serebriannikov", 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 inferences. 162 - 169CZYSTY 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 logics. 170 - 181CZYSTY 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 logicss. 182 - 187CZYSTY 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" }
