scientific article
From MaRDI portal
Publication:3138864
zbMath0811.06012MaRDI QIDQ3138864
Publication date: 7 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveymodal logicdynamic algebrasmodal algebrasBoolean algebra with operatorsalgebras of programsclosure algebrasmonadic algebrasBoolean modulestense algebras
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items (18)
Towards automating duality ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Introducing Boolean Semilattices ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Relation algebras as expanded FL-algebras ⋮ О КОНГРУЭНЦ–КОГЕРЕНТНЫХ АЛГЕБРАХ РИСА И АЛГЕБРАХ С ОПЕРАТОРОМ ⋮ Mathematical modal logic: A view of its evolution ⋮ Tribute to Bjarni Jónsson ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Bounded lattice expansions ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Unnamed Item ⋮ Canonical extensions and ultraproducts of polarities ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ О КОНГРУЭНЦ–КОГЕРЕНТНЫХ АЛГЕБРАХ РИСА И АЛГЕБРАХ С ОПЕРАТОРОМ ⋮ Unifying threads in Alfred Tarski's work ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator
This page was built for publication:
