Searching for "Linear Logic and Exceptions." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
A Judgmental Deconstruction of Modal Logic
- … logic except generalized to adjoint logic contexts and conclusions. To embed linear logic…
- Add To MetaCart
-
Some Applications of the Linear Logic Programming Language Lygon
- … is similar to linear logic, except that each formula can be used at most once. The goal graph is used to load…
- Cited by 5 (4 self) – Add To MetaCart
-
Reasoning about knowledge in linear logic: modalities and complexity
- … for this logic are the same as for linear logic except for the following two cases that are used…
- Cited by 5 (5 self) – Add To MetaCart
-
Basic logic: reflection, symmetry, visibility
- …, the sequent calculus for basic logic looks like a (twosided) calculus for linear logic, except for the absence…
- Cited by 11 (4 self) – Add To MetaCart
-
Action Logic and Pure Induction
- …] for linear logic (except that we write his a\Omega b as ab since we only have one conjunction, and write his…
- Cited by 44 (6 self) – Add To MetaCart
-
Encoding Linear Logic with Interaction Combinators
- …-elimination steps of linear logic with the exception of the exponential commutation rule. In terms of the �-calculus…
- Cited by 4 (1 self) – Add To MetaCart
-
On the Fine Structure of the Exponential Rule
- … are concerned, linear logic is no exception to this situation. Its (exponential) rules are not as bad…
- Cited by 13 (4 self) – Add To MetaCart
-
ILC: A Foundation for Automated Reasoning About Pointer Programs
- … has the same sequent rules as those in intuitionistic linear logic except that the classical context…
- Add To MetaCart
-
ILC: A Foundation for Automated Reasoning About Pointer Programs
- … connectives, and quantifications are the same as those in intuitionistic linear logic except…
- Cited by 10 (2 self) – Add To MetaCart
-
Termination
- … hypothetical judgment, each assumption can be used at most once. Therefore, it is like linear logic except…
- Add To MetaCart
Showing 1 through 10.
