scientific article; zbMATH DE number 3902615
From MaRDI portal
Publication:3680804
zbMATH Open0566.03004MaRDI QIDQ3680804FDOQ3680804
Authors: Francesco Lacava 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
- Decidable and undecidable MV-algebras
- Decision problems for equational theories of relation algebras
- Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
- Undecidable theories of Lyndon algebras
Decidability of theories and sets of sentences (03B25) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cited In (6)
- Title not available (Why is that?)
- Undecidability of relatively free Hilbert algebras
- Undecidable theories of Lyndon algebras
- Title not available (Why is that?)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680804)
