-
A Confirmation of a Conjecture of Tarskis. 103 - 105CZYSTY TEKST
Tarek Sayed Ahmed, A Confirmation of a Conjecture of Tarski, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 103 - 105
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "A Confirmation of a Conjecture of Tarski", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "103 - 105" }
-
H)-Hilbert Algebras are not same as Hertz Algebrass. 107 - 108CZYSTY TEKST
Janis Cirulis, H)-Hilbert Algebras are not same as Hertz Algebras, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 107 - 108
BIBTEX@Article{ authors = " Janis Cirulis", title = "H)-Hilbert Algebras are not same as Hertz Algebras", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "107 - 108" }
-
A Note on Semantics of the Interpretability Logic IL(KW1)s. 109 - 115CZYSTY TEKST
Mladen Vukovic, A Note on Semantics of the Interpretability Logic IL(KW1), Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 109 - 115
BIBTEX@Article{ authors = " Mladen Vukovic", title = "A Note on Semantics of the Interpretability Logic IL(KW1)", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "109 - 115" }
-
Omitting Types for Finite Variable Fragments of First Order Logics. 177 - 122CZYSTY TEKST
Tarek Sayed Ahmed, Omitting Types for Finite Variable Fragments of First Order Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 177 - 122
BIBTEX@Article{ authors = " Tarek Sayed Ahmed", title = "Omitting Types for Finite Variable Fragments of First Order Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "177 - 122" }
-
A Simplified Semantics for a Fragment of Intuitionistic Linear Logics. 123 - 129CZYSTY TEKST
Norihiro Kamide, A Simplified Semantics for a Fragment of Intuitionistic Linear Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 123 - 129
BIBTEX@Article{ authors = " Norihiro Kamide", title = "A Simplified Semantics for a Fragment of Intuitionistic Linear Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "123 - 129" }
-
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculuss. 131 - 136CZYSTY TEKST
Larry Wos, Dolph Urlich, Branden Fitelson, XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 131 - 136
BIBTEX@Article{ authors = " Larry Wos, Dolph Urlich, Branden Fitelson", title = "XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "131 - 136" }
-
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LCs. 137 - 146CZYSTY TEKST
Alexej P. Pynko, A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 137 - 146
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "137 - 146" }
-
Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systemss. 147 - 159CZYSTY TEKST
Piotr Łukowski, Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 147 - 159
BIBTEX@Article{ authors = " Piotr Łukowski", title = "Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "147 - 159" }
