Symmetrical Heyting algebras with a finite order type of operators

Studia Logica 55 (1):89 - 98 (1995)
  Copy   BIBTEX

Abstract

The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,244

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
49 (#350,962)

6 months
9 (#700,914)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Essais sur les logiques non chrysippiennes.Grigore C. Moisil - 1972 - Bucarest,: Éditions de l'Académie de la République Socialiste de Roumanie.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.

View all 8 references / Add more references