3624 search results - page 134 / 725 » Abstract Algebraic Logic |
129
click to vote
AML
2004
15 years 4 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
131
click to vote
BSL
1999
15 years 4 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
137
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...
111
Voted
FSS
2010
15 years 3 months ago
2010
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
129
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...