Title: Decision Methods for Linearly Ordered Heyting Algebras

Type: Journal Article

Citation:

Dyckhoff, R, Negri, S. In: Archive for Mathematical Logic 45, 4, pp 411-422. 2005.

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ödel-Dummett logic.

BibTeX:

@article{DyckRNegrS2006:AML,
number = {4},
volume = {45},
month = {May},
author = {Roy Dyckhoff and Sara Negri},
url = {http://www.cs.st-andrews.ac.uk/research/publications/DN05.php},
title = {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 Goedel-Dummett logic.},
pages = {411-422},
year = {2006},
doi = {10.1007/s00153-005-0321-z},
journal = {Archive for Mathematical Logic},
bibsource = {http://www-fp.cs.st-andrews.ac.uk/bib.shtml?2006}
}

Download:

• PDF