Combining Equational Theories Sharing Non-Collapse-Free Constructors

2000 ◽  
pp. 260-274 ◽  
Author(s):  
Franz Baader ◽  
Cesare Tinelli
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