THE FINITE MODEL PROPERTY FOR THE VARIETY OF HEYTING ALGEBRAS WITH SUCCESSOR

被引：0

作者：

Castiglioni, J. L. ^{[1
]}

San Martin, H. J. ^{[1
]}

机构：

[1] UNLP, Fac Ciencias Exactas, Dept Matemat, RA-1900 La Plata, Buenos Aires, Argentina

来源：

REVISTA DE LA UNION MATEMATICA ARGENTINA | 2012年 / 53卷 / 02期

关键词：

Finite model property; successor operator; Heyting algebras;

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

The finite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the finite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x, S(x)] is a Boolean lattice.

引用

页码：91 / 96

页数：6