A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
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.doi:10.1007/3-540-69778-0_26 fatcat:gvkn5hsjorfwnnep5un56nmj7e