The present paper aims to study a special class of equality algebras, called involutive equality algebra. We obtain some properties of this structure and prove that every linearly ordered 0-compatible equality algebra includes a $$(\sim _0)$$(~0)-...
We introduced the structure of Brouwerian D-algebra in order to obtain the algebraic counterpart of a logic of problem solving. A Brouwerian D-algebra is defined by a subdirect product of a couple of algebras associated with a Heyting lattice and a ...
We show that sheaves on Grothendieck quantales, which are the quantales that correspond to Grothendieck toposes, may be defined in several equivalent ways. The main topic of this paper is the characterization of internal posets and suplattices in the ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in