scientific article
From MaRDI portal
Publication:3755490
zbMath0619.06008MaRDI QIDQ3755490
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean latticecontravariant functorbounded Hilbert algebrairreducible deductive systemsHertz algebrascategory of Boolean spacesmaximal deductive systems
Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15) Topological lattices (06B30) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Foundations, relations to logic and deductive systems (18A15)
Related Items (5)
A glimpse of deductive systems in algebra ⋮ Stonean Hilbert algebra ⋮ Hilbert algebras of fractions ⋮ Complete and atomic Tarski algebras ⋮ On weak implication algebra
This page was built for publication: