Back to Search
Start Over
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic.
- Source :
-
Fundamenta Informaticae . 2019, Vol. 170 Issue 1-3, p223-240. 18p. - Publication Year :
- 2019
-
Abstract
- We study a version of the Stone duality between the Alexandrov spaces and the completely distributive algebraic lattices. This enables us to present lattice-theoretical models of second-order intuitionistic propositional logic which correlates with the Kripke models introduced by Sobolev. This can be regarded as a second-order extension of the well-known correspondence between Heyting algebras and Kripke models in the semantics of intuitionistic propositional logic. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 170
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 139251503
- Full Text :
- https://doi.org/10.3233/FI-2019-1861