Sciweavers

AML
2006

Decision methods for linearly ordered Heyting algebras

13 years 3 months ago
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
Roy Dyckhoff, Sara Negri
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AML
Authors Roy Dyckhoff, Sara Negri
Comments (0)