-
Orthoposets with Quantifierss. 1 - 12CZYSTY TEKST
Janis Cirulis, Orthoposets with Quantifiers, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 1 - 12
BIBTEX@Article{ authors = " Janis Cirulis", title = "Orthoposets with Quantifiers", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "1 - 12" }
-
Single Axiom for Relevant Implications. 13 - 16CZYSTY TEKST
Dolph Urlich, Single Axiom for Relevant Implication, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 13 - 16
BIBTEX@Article{ authors = " Dolph Urlich", title = "Single Axiom for Relevant Implication", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "13 - 16" }
-
On Some Extensions of Intuitionistic Logics. 17 - 22CZYSTY TEKST
Rodolfo C. Ertola Biraben, On Some Extensions of Intuitionistic Logic, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 17 - 22
BIBTEX@Article{ authors = " Rodolfo C. Ertola Biraben", title = "On Some Extensions of Intuitionistic Logic", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "17 - 22" }
-
On Interpolation and Hallden-Completeness in NEXT(KTB)s. 23 - 32CZYSTY TEKST
Zofia Kostrzycka, On Interpolation and Hallden-Completeness in NEXT(KTB), Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 23 - 32
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Interpolation and Hallden-Completeness in NEXT(KTB)", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "23 - 32" }
-
Semantical Investigations on Some Weak Modal Logics : part Is. 33 - 50CZYSTY TEKST
Andrzej Pietruszczak, Semantical Investigations on Some Weak Modal Logics : part I, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 33 - 50
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Semantical Investigations on Some Weak Modal Logics : part I", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "33 - 50" }
-
A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logicss. 51 - 60CZYSTY TEKST
Gemma Robles, A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 51 - 60
BIBTEX@Article{ authors = " Gemma Robles", title = "A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "51 - 60" }
-
Triconsequencess. 61 - 70CZYSTY TEKST
Szymon Frankowski, Triconsequences, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 61 - 70
BIBTEX@Article{ authors = " Szymon Frankowski", title = "Triconsequences", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "61 - 70" }
-
Remarks on Heyting Algebras with Tense Operatorss. 71 - 74CZYSTY TEKST
A.V. Figallo, G. Pelaitay, Remarks on Heyting Algebras with Tense Operators, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 71 - 74
BIBTEX@Article{ authors = " A.V. Figallo, G. Pelaitay", title = "Remarks on Heyting Algebras with Tense Operators", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "71 - 74" }
-
Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4s. 75 - 88CZYSTY TEKST
Kotsumi Sasaki, Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 75 - 88
BIBTEX@Article{ authors = " Kotsumi Sasaki", title = "Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "75 - 88" }
-
Cut-Free Hypersequent Calculus for S4.3.s. 89 - 104CZYSTY TEKST
Andrzej Indrzejczak, Cut-Free Hypersequent Calculus for S4.3., Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 89 - 104
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Cut-Free Hypersequent Calculus for S4.3.", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "89 - 104" }
