Sciweavers

2 search results - page 1 / 1
» ras 2011
Sort
View
IGPL
2011
13 years 2 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski