Free equivalential algebras (Q952484)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free equivalential algebras |
scientific article |
Statements
Free equivalential algebras (English)
0 references
12 November 2008
0 references
An equivalential algebra is a groupoid \(A=(A,\leftrightarrow )\) that is a subreduct of a Brouwerian semilattice (or, equivalently, a Heyting algebra) with the operation \(\leftrightarrow \) given by \( x\leftrightarrow y=(x\rightarrow y)\wedge (y\rightarrow x).\) This notation was introduced by \textit{J. K. Kabziński} and \textit{A. Wroński} [``On equivalential algebras'', in: Proc. 1975 International Symposium on Multiple-Valued Logic, Indiana Univ., Bloomington, Ind., 1975. Long Beach, Calif.: IEEE Comput. Soc., 419--428 (1975)] as an algebraic counterpart of the equivalential fragment of intuitionistic propositional logic. The class \( \mathcal{E}\) of all equivalential algebras is equationally definable by the following identities: \(xxy=y,xyzz=xz(yz),xy(xzz)(xzz)=xy\). In this paper the author shows how to construct effectively the free finitely generated algebras in \(\mathcal{E}.\)
0 references
intuitionistic logic
0 references
equivalence
0 references
free algebras
0 references
equivalential algebras
0 references