Intuitionistic diagonalizable algebras

DOI10.1007/BF02488034zbMath0423.03029MaRDI QIDQ1134152

Aldo Ursini

Publication date: 1979

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

zbMATH Keywords

ultrafilterspseudo-Boolean algebraintuitionistic diagonalizable algebrastopological representation theoryfunctionally freeideal and congruence theoryLindenbaum algebra of Heyting arithmetic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Equational classes, universal algebra in model theory (03C05)

Related Items (8)

Some remarks on the algebraic structure of the Medvedev Lattice ⋮ A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) ⋮ Fixed point algebras ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ The modal logic of provability. The sequential approach ⋮ Decision problems for classes of diagonalizable algebras

Cites Work

• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic diagonalizable algebras