Decision methods for linearly ordered Heyting algebras

Roy Dyckhoff; Sara Negri

doi:10.1007/s00153-005-0321-z

Decision methods for linearly ordered Heyting algebras

Roy Dyckhoff, Sara Negri

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	411-422
Number of pages	12
Journal	Archive for Mathematical Logic
Volume	45
Issue number	4
DOIs	https://doi.org/10.1007/s00153-005-0321-z
Publication status	Published - May 2006

Keywords

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

Access to Document

10.1007/s00153-005-0321-z

Cite this

@article{5c98eaada6a2462795cb36eb7e747c0d,

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

keywords = "lattice theory, linear order, Heyting algebra, Godel algebra, Godel-Dummett logic, LOGIC, RULE",

author = "Roy Dyckhoff and Sara Negri",

year = "2006",

month = may,

doi = "10.1007/s00153-005-0321-z",

language = "English",

volume = "45",

pages = "411--422",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Decision methods for linearly ordered Heyting algebras

AU - Dyckhoff, Roy

AU - Negri, Sara

PY - 2006/5

Y1 - 2006/5

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

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

KW - lattice theory

KW - linear order

KW - Heyting algebra

KW - Godel algebra

KW - Godel-Dummett logic

KW - LOGIC

KW - RULE

UR - http://springerlink.metapress.com/(2pmxtl45thwlnpnp0uj14a55)/app/home/contribution.asp?referrer=parent&backto=issue,3,7;journal,2,170;browsepublicationsresults,116,1571;

UR - https://www.scopus.com/pages/publications/33645986152

U2 - 10.1007/s00153-005-0321-z

DO - 10.1007/s00153-005-0321-z

M3 - Article

SN - 0933-5846

VL - 45

SP - 411

EP - 422

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 4

ER -

Decision methods for linearly ordered Heyting algebras

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this