Journal: Studia Logica

Volume 44, Issue 3

233 -- 236Steve Giambrone. On purported Gentzen formulations of two positive relevent logics
237 -- 256Andrzej W. Jankowski, Marek W. Zawadowski. Sheaves over Heyting lattices
257 -- 264Zarko Mijajlovic. On the definability of the quantifier "there exist uncountably many"
265 -- 283Janusz Czelakowski. Sentential logics and Maehara Interpolation Property
285 -- 289T. A. McKee. Generalized equivalence: A pattern of mathematical expression
291 -- 317Valentin Goranko. The Craig interpolation theorem for prepositional logics with strong negation