论文信息 - (n+1)-valued modal implicative semilattices

(n+1)-valued modal implicative semilattices

The equational class of (n+1)-valued modal implicative semilattices is defined and investigated. These algebras are the natural generalization of three-valued modal implicative semilattices. A characterization of (n+1)-valued Post algebras is given.<<ETX>>

Aldo V. Figallo | M. C. Canals Frau

[1] Paul C. Rosenbloom,et al. Post algebras I. Postulates and general theory , 1942 .

[2] W. Nemitz. Implicative semi-lattices , 1965 .

[3] Luisa Iturrioz. Lukasiewicz and Symmetrical Heyting Algebras , 1977, Math. Log. Q..

[4] A. Monteiro. Sur les algèbres de Heyting symétriques , 1980 .