We detail Abramsky's \proofs-as-processes" paradigm for interpreting classical linear logic (CLL) [13] into a \synchronous" version of the -calculus recently proposed by Milner [27, 28]. The… (More)

The logic for pragmatics extends classical logic in order to characterize the logical properties of the operators of illocutionary force such as that of assertion and obligation and of the pragmatic… (More)

Bellin, G. and J. Ketonen, A decision procedure revisited: Notes on direct logic, linear logic and its implementation, Theoretical Computer Science 95 (1992) 115-142. This paper studies decidable… (More)

We investigate semantics for classical proof based on the se quent calculus. We show that the propositional connectives are not quite well-behaved f rom a traditional categorical perspective, and… (More)

In this paper we reconsider some notions and results in the project of a “Logic for Pragmatics”, initiated by the philosopher Carlo Dalla Pozza and by the phisicist Claudio Garola [18] and later… (More)

To provide a categorical semantics for co-intuitionistic logic, one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of co-products does not work in the… (More)

We study the proof-theory of co-Heyting algebras and present a calculus of continuations typed in the disjunctive–subtractive fragment of dual intuitionistic logic. We give a single-assumption… (More)

The essential interaction between classical and intuitionistic features in the system of linear logic is best described in the language of category theory. Given a symmetric monoidal closed category… (More)