Decision methods for linearly ordered Heyting algebras

Abstract. 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

• Type: Journal
• Year: 2006
• Where: AML
• Authors: Roy Dyckhoff, Sara Negri
• Keywords: AML 2006, Decision Problem, Simple Solution, Special Case