A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Decision methods for linearly ordered Heyting algebras
2005
Archive for Mathematical Logic
The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.
doi:10.1007/s00153-005-0321-z
fatcat:coaw2zsen5e2fccwnte4cwrpvq