Abstract: From Kripke Models to Algebraic Counter-valuations

Sara Negri, Jan von Plato

Starting with a derivation in the refutation calculus CRIP (Pinto and Dyckhoff 1995), we give a constructive algebraic method for determining the values of formulas of intuitionistic propositional logic in a counter-model. These are computed pointwise from the values on atoms, in contrast to the non-local and non-constructive determination of forcing relations in a Kripke model.

Back to Sara's homepage.