Decision methods for linearly ordered Heyting algebras

Roy Dyckhoff, Sara Negri

Research output: Contribution to journalArticlepeer-review

11 Citations (Scopus)

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 Godel-Dummett logic.

Original languageEnglish
Pages (from-to)411-422
Number of pages12
JournalArchive for Mathematical Logic
Volume45
Issue number4
DOIs
Publication statusPublished - May 2006

Keywords

  • lattice theory
  • linear order
  • Heyting algebra
  • Godel algebra
  • Godel-Dummett logic
  • LOGIC
  • RULE

Fingerprint

Dive into the research topics of 'Decision methods for linearly ordered Heyting algebras'. Together they form a unique fingerprint.

Cite this