Starting with a derivation in the refutation calculus CRIP of Pinto and Dyckhoff we give a constructive algebraic method for determining the values of formulas of intuitionistic propositional logic in a counter-model. The values of compound formulas are computed pointwise from the values on atoms, in contrast to the non-local determination of forcing relations in a Kripke model based on classical reasoning. © Springer-Verlag Berlin Heidelberg 1998.
CITATION STYLE
Negri, S., & Von Plato, J. (1998). From kripke models to algebraic counter-valuations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1397 LNAI, pp. 247–261). Springer Verlag. https://doi.org/10.1007/3-540-69778-0_26
Mendeley helps you to discover research relevant for your work.