Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

111

Voted

LICS
1991
IEEE

113views Automated Reasoning» more LICS 1991»

Linearizing Intuitionistic Implication

15 years 6 months ago

Linearizing Intuitionistic Implication

Download www.csl.sri.com

Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Real-time Traffic

Automated Reasoning | LICS 1991 |

claim paper

Related Content

» Classical Linear Logic of Implications

» On some properties of intuitionistic fuzzy implications

» Logic Programming in a Fragment of Intuitionistic Linear Logic

» The Inverse Method for the Logic of Bunched Implications

» Combining Classical and Intuitionistic Implications

» Linear Logic for NonLinear Storytelling

» ForcingBased CutElimination for GentzenStyle Intuitionistic Sequent Calculus

» Computing interpolants in implicational logics

» From IF to BI a tale of dependence and separation

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	LICS
Authors	Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Comments (0)