Archive for Mathematical Logic 45 (4):411-422 (2006)

Authors
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
Keywords lattice theory  linear order  Heyting algebra  Gödel algebra  Gödel-Dummett logic
Categories (categorize this paper)
Reprint years 2005, 2006
ISBN(s)
DOI 10.1007/s00153-005-0321-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,410
Through your library

References found in this work BETA

Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.
A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Contraction-Free Sequent Calculi for Intuitionistic Logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.

View all 15 references / Add more references

Citations of this work BETA

Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.

Add more citations

Similar books and articles

Analytics

Added to PP index
2013-11-03

Total views
114 ( #104,033 of 2,519,809 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,809 )

How can I increase my downloads?

Downloads

My notes