-
On the Density of Truth in Dummett's Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 1-2 / s. 43 - 552003CZYSTY TEKST
Zofia Kostrzycka, Marek Zaionc, On the Density of Truth in Dummett's Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 1-2, s. 43 - 55
BIBTEX@Article{ authors = " Zofia Kostrzycka, Marek Zaionc", title = "On the Density of Truth in Dummett's Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 1-2", pages = "43 - 55" }
-
On the Density of Truth in Grzegorczyk's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 107 - 1202004CZYSTY TEKST
Zofia Kostrzycka, On the Density of Truth in Grzegorczyk's Modal Logic, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 2, s. 107 - 120
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On the Density of Truth in Grzegorczyk's Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 2", pages = "107 - 120" }
-
Stoic ``Undemonstrables'' and indirect-deduction theorems Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 53 - 601994CZYSTY TEKST
Grzegorz Bryll, Zofia Kostrzycka, Stoic ``Undemonstrables'' and indirect-deduction theorems, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 53 - 60
BIBTEX@Article{ authors = " Grzegorz Bryll, Zofia Kostrzycka", title = "Stoic ``Undemonstrables'' and indirect-deduction theorems", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "53 - 60" }
-
On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 95 - 1062004CZYSTY TEKST
Zofia Kostrzycka, On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 2, s. 95 - 106
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 2", pages = "95 - 106" }
-
On Interpolation in NEXT(KB.Alt(2)) Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 3 / s. 159 - 1702018CZYSTY TEKST
Zofia Kostrzycka, On Interpolation in NEXT(KB.Alt(2)), Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 159 - 170
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Interpolation in NEXT(KB.Alt(2))", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "159 - 170" }
-
On Formulas of one Variable in NEXT(KTB) Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 2-3 / s. 119 - 1312006CZYSTY TEKST
Zofia Kostrzycka, On Formulas of one Variable in NEXT(KTB), Bulletin of the Section of Logic, 2006 / Tom 35 / Numer 2-3, s. 119 - 131
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Formulas of one Variable in NEXT(KTB)", journal = "Bulletin of the Section of Logic", issue = "2006 / Tom 35 / Numer 2-3", pages = "119 - 131" }
-
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p) Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 37 - 432007CZYSTY TEKST
Zofia Kostrzycka, On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p), Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 37 - 43
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "37 - 43" }
-
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 111 - 1302015CZYSTY TEKST
Zofia Kostrzycka, On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 111 - 130
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "111 - 130" }
-
Interpolation in Normal Extensions of the Brouwer Logic Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 3-4 / s. 171 - 1862016CZYSTY TEKST
Zofia Kostrzycka, Interpolation in Normal Extensions of the Brouwer Logic, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 171 - 186
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "Interpolation in Normal Extensions of the Brouwer Logic", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "171 - 186" }
-
On the Family of Logics Determined by Parasol-Frames Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 1-2 / s. 69 - 812011CZYSTY TEKST
Zofia Kostrzycka, On the Family of Logics Determined by Parasol-Frames, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 1-2, s. 69 - 81
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On the Family of Logics Determined by Parasol-Frames", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 1-2", pages = "69 - 81" }
-
On Interpolation and Hallden-Completeness in NEXT(KTB) Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 23 - 322012CZYSTY 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" }
