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]

[img]
Preview
Text (Full Text)
X-2007-03.text.pdf

Download (269kB) | Preview
[img] 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 View Item