Hybrid terms and sentences

DOI10.1007/BF01057655zbMath0798.03033MaRDI QIDQ1313083

Dietmar Schweigert

Publication date: 3 November 1994

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

zbMATH Keywords

completenessfinite axiomatizationunificationterm rewritinghybrid logicsvariety of distributive latticeshybrid identityhybrid termshypertermshypervariablesoperation symbolsvariety of 2- groups

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Varieties of lattices (06B20) Varieties (08B99)

Related Items (1)

On \(P\)-compatible hybrid identities and hyperidentities

Cites Work

• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Hybrid terms and sentences