Intuitionistic diagonalizable algebras

DOI10.1007/BF02488034MaRDI QIDQ1134152zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 3606452 (Why is no real title available?)
• scientific article; zbMATH DE number 3390871 (Why is no real title available?)
• scientific article; zbMATH DE number 3414376 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)

Cited in

(8)

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

This page was built for publication: Intuitionistic diagonalizable algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1134152)