7 search results - page 1 / 2 » igpl 1998 |
67
Voted
IGPL
1998
15 years 24 days ago
1998
118
Voted
IGPL
1998
15 years 24 days ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
73
Voted
IGPL
1998
15 years 24 days ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
93
Voted
IGPL
1998
15 years 24 days ago
1998
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by G¨ardenfors in [5], who defined epistemic entrenchment ...
69
Voted
IGPL
1998
15 years 24 days ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...