3 search results - page 1 / 1 » Logical Aggregation Based on Interpolative Realization of Bo... |
EUSFLAT
2007
15 years 1 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.
131
click to vote
IGPL
2011
14 years 3 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
15 years 7 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...