Wyniki
-
A generalization of the interpolation theorem for the many sorted calculus
Krzysztof Rudnik
Bulletin of the Section of Logic , 13 /1 (1984) s. 2-8 -
On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 33 /2 (2004) s. 95-106 -
On the Density of Truth in Grzegorczyk's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 33 /2 (2004) s. 107-120 -
On Formulas of one Variable in NEXT(KTB)
Zofia Kostrzycka
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 119-131 -
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)
Zofia Kostrzycka
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 37-43 -
On the Family of Logics Determined by Parasol-Frames
Zofia Kostrzycka
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 69-81 -
On Interpolation and Hallden-Completeness in NEXT(KTB)
Zofia Kostrzycka
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 23-32 -
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames
Zofia Kostrzycka
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 111-130 -
Interpolation in Normal Extensions of the Brouwer Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 171-186 -
On Interpolation in NEXT(KB.Alt(2))
Zofia Kostrzycka
Bulletin of the Section of Logic , 47 /3 (2018) s. 159-170 -
From Intuitionism to Brouwer's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 49 /4 (2020) s. 343-358 -
Stoic ``Undemonstrables'' and indirect-deduction theorems
Grzegorz Bryll, Zofia Kostrzycka
Bulletin of the Section of Logic , 23 /2 (1994) s. 53-60 -
On the Density of Truth in Dummett's Logic
Zofia Kostrzycka, Marek Zaionc
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 43-55