An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
Cecylia Rauszer
GDML_Books, (1980), p.

CONTENTSIntroduction............................................................................... 5Chapter I. Semi-Boolean algebras 1. Semi-Boolean algebras....................................... 8 2. Q-filters in semi-Boolean algebras............................ 11 3. Extensions of semi-Boolean algebras...................... 15Chapter II. Algebraic and semantic modelsfor Heyting-Brouwer logic 1. Preliminaries.......................................................... 17 2. Algebraic structures....................................................... 21 3. Completeness theorems............................................. 23 4. Deduction theorems...................................................... 24 5. Saturated H-B theories................................................. 26 6. Craig interpolation lemma........................................... 29 7. Theory of falsity............................................................... 31 8. Kripke-style models....................................................... 34 9. Canonical structures..................................................... 39 10. Connections between a-models and k-models.... 42Chapter III. Model theory for Heyting-Brouwer logic 1. Ultraproducts.......................................................... 45 2. Model extension theorem............................................. 47 3. Connections between H-B logic and DI logic........... 56References....................................................................................... 59List of symbols................................................................................. 60List of definitions............................................................................. 61

EUDML-ID : urn:eudml:doc:268511 
@book{bwmeta1.element.zamlynska-3b6ab1b7-eb0b-46ec-bf99-c72703fc57d7,
     author = {Cecylia Rauszer},
     title = {An algebraic and Kripke-style approach to a certain extension of intuitionistic logic},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1980},
     zbl = {0442.03024},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-3b6ab1b7-eb0b-46ec-bf99-c72703fc57d7}
}

Cecylia Rauszer. An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. GDML_Books (1980),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-3b6ab1b7-eb0b-46ec-bf99-c72703fc57d7/