Search Sciweavers | Sciweavers

504 search results - page 2 / 101

» Observational Logic

click to vote

MSCS
2007

117views more MSCS 2007»

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

13 years 7 months ago

Download logica.uniroma3.it

We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists ﬁrst in addressing the two questions in the less ...

Michele Pagani

claim paper

Read More »

click to vote

CORR
2008
Springer

106views Education» more CORR 2008»

Topological Observations on Multiplicative Additive Linear Logic

13 years 7 months ago

Download hal.archives-ouvertes.fr

As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...

André Hirschowitz, Michel Hirschowitz, Tom ...

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

ISCAS
1999
IEEE

72views Hardware» more ISCAS 1999»

Observing test response of embedded cores through surrounding logic

13 years 11 months ago

Download users.ece.utexas.edu

P. K. Jaini, Nur A. Touba

claim paper

Read More »