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;
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 -