Hybrid terms and sentences
From MaRDI portal
Publication:1313083
DOI10.1007/BF01057655zbMath0798.03033MaRDI QIDQ1313083
Publication date: 3 November 1994
Published in: Studia Logica (Search for Journal in Brave)
completeness; finite axiomatization; unification; term rewriting; hybrid logics; variety of distributive lattices; hybrid identity; hybrid terms; hyperterms; hypervariables; operation symbols; variety of 2- groups
03C05: Equational classes, universal algebra in model theory
06B20: Varieties of lattices
08B99: Varieties
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Hypervarieties of a given type
- Clones of term functions of lattices and Abelian groups
- Unification in Boolean rings
- The undecidability of the second-order unification problem
- Hyperidentities and hypervarieties
- Bases for equational theories of semi-groups
- Completeness in the theory of types