|
|||||
|
|
Functional monadic Heyting algebras |
|
| Authors: | Guram Bezhanishvili John Harding |
| Institution: | (1) Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM, 88003-0001, e-mail: gbezhani@nmsu.edu, US;(2) Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM, 88003-0001, e-mail: jharding@nmsu.edu, US |
| Abstract: | We show every monadic Heyting algebra is isomorphic to a functional monadic Heyting algebra. This solves a 1957 problem of Monteiro and Varsavsky 9]. Received May 18, 2001; accepted in final form October 18, 2001. |
| Keywords: | and phrases: Monadic Heyting algebra monadic algebra amalgamation intuitionistic logic |
| 本文献已被 SpringerLink 等数据库收录！ | |