Two typical representation theorems for symmetrical Heyting algebras of order n

摘要

The theory of the many-valued logics related to classical and intuitionistic ones has been developed in the past. On the other hand, as an attempt to study symmetries on formal logic, Moisil has introduced a propositional calculus, called general symmetrical modal. In connection with the latter, we have built up, in a standard way, a many-valued propositional calculus.

rn

In order to consider this many-valued logic from an algebraic standpoint, we introduce the notion of a symmetrical Heyting algebra of order n. We present here only two typical representation theorems for these algebraic structures.