Decision problems for classes of diagonalizable algebras

DOI10.1007/BF00370812zbMath0592.03008MaRDI QIDQ1075310

Aldo Ursini

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

decidable variety of diagonalizable algebrasintuitionistic diagonalizable algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) Varieties (08B99)

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitionistic diagonalizable algebras
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Decidability and Boolean representations
• Undecidability of Some Topological Theories

This page was built for publication: Decision problems for classes of diagonalizable algebras