Decision methods for linearly ordered Heyting algebras |
| |
| Authors: | Roy Dyckhoff Sara Negri |
| |
| Institution: | (1) School of Computer Science, St Andrews University, St Andrews, Fife, KY16 9SX, Scotland;(2) Department of Philosophy, University of Helsinki, PL 9, 00014, Finland |
| |
| 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 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
