Decision problems for classes of diagonalizable algebras
From MaRDI portal
Recommendations
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)