-
Vaught's Theorem holds for L2 but fails for Ln when n > 2s. 107 - 122CZYSTY TEKST
Tarek Sayed Ahmed, Vaught's Theorem holds for L2 but fails for Ln when n > 2, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 107 - 122
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Vaught's Theorem holds for L2 but fails for Ln when n > 2", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "107 - 122" }
-
A Note On Diagonalizations. 123 - 131CZYSTY TEKST
Andrzej Wiśniewski, Jerzy Pogonowski, A Note On Diagonalization, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 123 - 131
BIBTEX@Article{ authors = " Andrzej Wiśniewski, Jerzy Pogonowski", title = "A Note On Diagonalization", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "123 - 131" }
-
Towards Theory of Massive-Parallel Proofs : cellular Automata Approachs. 133 - 145CZYSTY TEKST
Andrew Schumann, Towards Theory of Massive-Parallel Proofs : cellular Automata Approach, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 133 - 145
BIBTEX@Article{ authors = " Andrew Schumann", title = "Towards Theory of Massive-Parallel Proofs : cellular Automata Approach", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "133 - 145" }
-
A Short Proof for the Completeness of Paramodulacions. 147 - 152CZYSTY TEKST
Gabor Sagi, A Short Proof for the Completeness of Paramodulacion, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 147 - 152
BIBTEX@Article{ authors = " Gabor Sagi", title = "A Short Proof for the Completeness of Paramodulacion", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "147 - 152" }
-
Dependence Spacess. 153 - 160CZYSTY TEKST
Ewa Graczyńska, Dependence Spaces, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 153 - 160
BIBTEX@Article{ authors = " Ewa Graczyńska", title = "Dependence Spaces", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "153 - 160" }
-
Slaney's Logic F** is Constructive Logic with Strong Negations. 161 - 174CZYSTY TEKST
Slaney's Logic F** is Constructive Logic with Strong Negation, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 161 - 174
BIBTEX@Article{ authors = "", title = "Slaney's Logic F** is Constructive Logic with Strong Negation", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "161 - 174" }
-
Simple Expansions of Classes Satisfying Fraenkel-Carnap Propertiess. 175 - 186CZYSTY TEKST
Simple Expansions of Classes Satisfying Fraenkel-Carnap Properties, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 175 - 186
BIBTEX@Article{ authors = "", title = "Simple Expansions of Classes Satisfying Fraenkel-Carnap Properties", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "175 - 186" }
-
Weak Implication on Generalized Łukasiewicz Algebras of Order ns. 187 - 198CZYSTY TEKST
A.V. Figallo, A. Ziliani, Weak Implication on Generalized Łukasiewicz Algebras of Order n, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 187 - 198
BIBTEX@Article{ authors = " A.V. Figallo, A. Ziliani", title = "Weak Implication on Generalized Łukasiewicz Algebras of Order n", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "187 - 198" }
-
A New Version of an Old Modal Incompleteness Theorems. 199 - 204CZYSTY TEKST
A New Version of an Old Modal Incompleteness Theorem, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 199 - 204
BIBTEX@Article{ authors = "", title = "A New Version of an Old Modal Incompleteness Theorem", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "199 - 204" }
-
An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logics. 205 - 214CZYSTY TEKST
Norihiro Kamide, An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 205 - 214
BIBTEX@Article{ authors = " Norihiro Kamide", title = "An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "205 - 214" }
