Searching for "Linearizing Intuitionistic Implication" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Linearizing Intuitionistic Implication
- …Linearizing Intuitionistic Implication Patrick Lincoln Andre Scedrov y Natarajan Shankar z…
- Cited by 17 (5 self) – Add To MetaCart
-
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars
- … operations are a variant of linear and intuitionistic implications, having as consequent the current…
- Cited by 19 (12 self) – Add To MetaCart
-
Grafting Modalities onto substructural implication systems
- … implication logics (including relevant, linear and intuitionistic implication) . Then, in the spirit…
- Cited by 9 (3 self) – Add To MetaCart
-
Information Frames, Implication Systems and Modalities
- … (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform…
- Add To MetaCart
-
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus (Extended Abstract)
- … of bunched implications. BI is a logic which directly combines linear and intuitionistic implication and…
- Cited by 8 (5 self) – Add To MetaCart
-
Assumption Grammars: Parsing as Hypothetical Reasoning
- … of backtrackable assumptions (linear affine and intuitionistic implications ranging over the current continuation…
- Add To MetaCart
-
Assumption Grammars for Knowledge Based Systems
- …, particularly suitable for hypothetical reasoning. They are based on intuitionistic and linear implications…
- Cited by 2 (2 self) – Add To MetaCart
-
A Hypothetical Reasoning Based Framework for NL Processing
- …. They are based on intuitionistic and linear implications scoped over the current continuation, which allow us…
- Cited by 2 (2 self) – Add To MetaCart
-
Assumption Grammars for Processing Natural Language
- … for hypothetical reasoning. They are based on intuitionistic and linear implications scoped over the current…
- Cited by 21 (13 self) – Add To MetaCart
-
From Assumptions to Meaning
- … as linear affine and intuitionistic implication scoped over the current AND-continuation, i.e. having…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
