Currently displaying 1 – 6 of 6

Showing per page

Order by Relevance | Title | Year of publication

Topological representation for monadic implication algebras

Abad ManuelCimadamore CeciliaDíaz Varela José — 2009

Open Mathematics

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L p,k, and the finite field F(p k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ1 of the variety V(L p,k) generated by L p,k into the variety V(F(p k)) generated by F(p k) and an interpretation Φ2 of V(F(p k)) into V(L p,k) such that Φ2Φ1(B) = B for every B ε V(L p,k) and Φ1Φ2(R) = R for every R ε V(F(p k)).

Page 1

Download Results (CSV)