scholarly journals Unification in extensions of shallow equational theories

1998 ◽  
pp. 76-90 ◽  
Author(s):  
Florent Jacquemard ◽  
Christoph Meyer ◽  
Christoph Weidenbach
Keyword(s):  
Equational Theories

Theories with equational forking

2002 ◽  
Vol 67 (1) ◽  
pp. 326-340 ◽  
Author(s):  
Markus Junker ◽  
Ingo Kraus
Keyword(s):  
Symmetric Relation ◽  
Equational Theories

AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.

Sign in / Sign up

Export Citation Format

Share Document