Title of article
Intuitionistic logic and implicit definability Original Research Article
Author/Authors
Larisa Maksimova، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
20
From page
83
To page
102
Abstract
It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong epimorphisms surjectivity are found.
Keywords
Superintuitionistic logic , Projective Beth property , Strong epimorphisms surjectivity
Journal title
Annals of Pure and Applied Logic
Serial Year
2000
Journal title
Annals of Pure and Applied Logic
Record number
889738
Link To Document