Decision methods for linearly ordered Heyting algebras

Decision methods for linearly ordered Heyting algebras

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 Godel-Dummett logic. [PUBLICATION ABSTRACT]

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Archive for mathematical logic 2006-05, Vol.45 (4), p.411-422
Hauptverfasser: Dyckhoff, Roy, Negri, Sara
Format: Artikel
Sprache:eng
Schlagworte:
Decision theory
Linear algebra
Logic
Mathematical problems
Theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 Godel-Dummett logic. [PUBLICATION ABSTRACT]
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-005-0321-z