Search Sciweavers | Sciweavers

842 search results - page 28 / 169

» Linear logic

click to vote

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

14 years 2 months ago

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

click to vote

TLCA
2009
Springer

158views Theoretical Computer Science» more TLCA 2009»

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

14 years 2 months ago

Download www.lix.polytechnique.fr

Abstract. We investigate the question of what constitutes a proof when quantiﬁers and multiplicative units are both present. On the technical level this paper provides two new as...

Lutz Straßburger

claim paper

Read More »

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 1 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

click to vote

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

14 years 1 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

click to vote

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers