Paper Info
Title
Decision methods for linearly ordered Heyting algebras
Abstract
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyt- ing 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¨odel-Dummett logic.
Year
DOI
Venue
2006
10.1007/s00153-005-0321-z
Arch. Math. Log.
Keywords
DocType
Volume
heyting algebra,gödel algebra,key words should be given,or phrases: lattice theory,linear order,gödel-dummett logic
Journal
45
Issue
ISSN
Citations 
4
1432-0665
6
PageRank 
References 
Authors
0.57
17
2
Name
Order
Citations
PageRank
Roy Dyckhoff145249.09
Sara Negri228024.76