X-2007-03: On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames

X-2007-03: Yang, Fan (2007) On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (269kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (530B)


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 View Item