Decision problems for classes of diagonalizable algebras

DOI10.1007/BF00370812MaRDI QIDQ1075310zbMATH OpenFDO

Authors 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

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

Recommendations

• Undecidability in diagonalizable algebras
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• scientific article; zbMATH DE number 3928996
• scientific article; zbMATH DE number 47296
• scientific article; zbMATH DE number 14392

Cites work

• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Decidability and Boolean representations
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• Intuitionistic diagonalizable algebras
• Undecidability of Some Topological Theories

Cited in

(5)

• Comparing decision problems for various paradigms of algebraic logic.
• scientific article; zbMATH DE number 733218 (Why is no real title available?)
• scientific article; zbMATH DE number 5507563 (Why is no real title available?)
• No non-trivial quasivariety of BCK-algebras has decidable first order theory
• scientific article; zbMATH DE number 3928996 (Why is no real title available?)

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

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