289 search results - page 9 / 58 » The logic of bunched implications |
TCAD
2010
13 years 2 months ago
2010
AIML
2004
13 years 9 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
LPNMR
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
AI
2004
Springer
13 years 7 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
MLQ
2010
13 years 6 months ago
2010
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...