Rauszer, Cecylia An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. (English) Zbl 0442.03024 Diss. Math. 167, 62 P. (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 47 Documents MSC: 03B55 Intermediate logics 03C99 Model theory 03G25 Other algebras related to logic Keywords:intuitionistic sentential calculus; Kripke-style semantics; algebraic study of semi-Boolean algebras; extension of the intuitionistic predicate calculus; logic of constant domains; conservative extension Citations:Zbl 0122.243; Zbl 0060.062 × Cite Format Result Cite Review PDF
