Due to popular demand there will a deadline extension for the workshop "Structures and Deduction 2009" in Bordeaux, July 20-24, 2009. New deadline for submission: Sunday, March 8, 2009 Further details can be found on the webpage <http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html> Kind regards, Lutz Strassburger
=============================================================================== GENTZEN SYSTEMS AND BEYOND TABLEAUX 2009 WORKSHOP =============================================================================== 6 July 2009 University of Oslo, Norway http://www.iam.unibe.ch/~kai/Events/GSB2009/ Scope --------- This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the Sequent Calculus and Natural Deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics, including Hypersequents, Display Calculi, Labelled Deductive Systems, Tableaux, Deep Inference, and Proof Nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches. Potential topics for talks include: * Cut-elimination and its applications, e.g. decidability, interpolation, amalgamation, completeness proofs, computational(Continue reading)
Hello, We would like to announce the paper mentioned below, which continues a line of work on normalisation in deep inference, where we get quasipolinomial normalisation procedures for propositional logic. This is essentially due to our dealing with a more general notion of analyticity than in the sequent calculus, and to the novel symmetry of proofs, typical of deep inference. You can find information about deep inference at <http://alessio.guglielmi.name/res/cos/>. Comments are very welcome, of course. Please note that the web site where the paper resides will not be available during this coming week-end. Best regards, -Alessio Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae <http://cs.bath.ac.uk/ag/p/QuasiPolNormDI.pdf> -------------------------------------------------- P Bruscoli, A Guglielmi, T Gundersen and M Parigot Jerábek showed that analytic propositional-logic(Continue reading)
Hi Frogs, In preparation for the exciting developments in quantum causal evolution, we revised the old paper "A System of Interaction and Structure IV: The Exponentials" on the normalisation theory of NEL. Encouraged from referees, we split the paper into two parts, one about decomposition and the other about splitting. We think that this makes the whole matter clearer and more accessible. Please do not cite the old paper, the new ones are better. Comments of any kind are very welcome. Best regards, Alessio and Lutz ---------------------------------------- Title: A System of Interaction and Structure IV: The Exponentials and Decomposition L. Strassburger and A. Guglielmi Abstract: System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. System NEL is Turing-complete, it is able to directly express process algebra sequential composition and it faithfully models causal quantum evolution. In this paper, we show a basic compositionality(Continue reading)
RSS Feed1 | |
|---|---|
1 | |
3 | |
6 | |
1 | |
2 | |
2 | |
1 | |
1 | |
2 | |
1 | |
1 | |
1 | |
2 | |
5 | |
1 | |
4 | |
1 | |
1 | |
14 | |
1 | |
1 | |
3 | |
8 | |
16 | |
6 | |
2 | |
2 | |
2 | |
12 | |
4 | |
2 | |
3 | |
2 | |
3 | |
1 | |
1 | |
17 | |
15 | |
2 | |
1 | |
1 | |
1 | |
7 | |
2 | |
1 | |
1 | |
2 | |
2 | |
2 | |
1 | |
4 | |
9 | |
4 | |
1 | |
7 | |
1 | |
8 | |
1 | |
8 | |
31 | |
23 | |
4 | |
15 | |
24 | |
26 | |
14 | |
11 | |
10 | |
17 | |
16 | |
31 | |
3 | |
16 | |
26 | |
37 | |
1 | |
4 |
