Title of article
Constructive canonicity in non-classical logics Original Research Article
Author/Authors
Silvio Ghilardi، نويسنده , , Giancarlo Meloni، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
32
From page
1
To page
32
Abstract
Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model
Keywords
Stone representation , Canonicity , Locales , Intermediate and modal logics
Journal title
Annals of Pure and Applied Logic
Serial Year
1997
Journal title
Annals of Pure and Applied Logic
Record number
890128
Link To Document