Intuitionistic diagonalizable algebras

DOI10.1007/BF02488034zbMath0423.03029MaRDI QIDQ1134152

Aldo Ursini

Publication date: 1979

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

zbMATH Keywords

ultrafilters; pseudo-Boolean algebra; intuitionistic diagonalizable algebras; topological representation theory; functionally free; ideal and congruence theory; Lindenbaum algebra of Heyting arithmetic

Mathematics Subject Classification ID

03G25: Other algebras related to logic

08A05: Structure theory of algebraic structures

03C05: Equational classes, universal algebra in model theory

Related Items

The modal logic of provability. The sequential approach, Decision problems for classes of diagonalizable algebras, A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\), 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, Fixed point algebras, Some remarks on the algebraic structure of the Medvedev Lattice

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