X-2007-03: Yang, Fan (2007) On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames. [Report]
Preview |
Text (Full Text)
X-2007-03.text.pdf Download (269kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
X-2007-03.abstract.txt Download (530B) |
Abstract
The variety of Heyting algebras has a nice property that
HS=SH. Heyting algebras are the algebraic dual of intuitionistic
descriptive frames. The goal of this paper is to define proper dual
notions so as to formulate this algebraic properties in the frame
language, and to give a frame-based proof of this property and some
other duality theorems.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2007-03 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | intuitionistic descriptive frame; Heyting algebra; generated subframe; p-morphism |
| Depositing User: | fyang |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/664 |
Actions (login required)
 |
View Item |
