An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
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..........................................................