3 search results - page 1 / 1 » Logical Aggregation Based on Interpolative Realization of Bo... |
EUSFLAT
2007
13 years 8 months ago
2007
In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.
IGPL
2011
12 years 10 months ago
2011
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...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...