Internalizing equality in Boolean algebras

DOI10.1007/S000120050152zbMath1011.06014OpenAlexW1994809543MaRDI QIDQ1866807

Desmond Fearnley-Sander, Timothy Stokes

Publication date: 23 April 2003

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050152

zbMATH Keywords

Boolean ringequality algebramodal ringreplacement property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (2)

VARIETIES OF EQUALITY STRUCTURES ⋮ Interior algebras and varieties

This page was built for publication: Internalizing equality in Boolean algebras