𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the separation of disjunctive cuts

✍ Scribed by Matteo Fischetti; Andrea Lodi; Andrea Tramontani


Publisher
Springer-Verlag
Year
2009
Tongue
English
Weight
548 KB
Volume
128
Category
Article
ISSN
0025-5610

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the minimum cut separator problem
✍ Walid Ben-Ameur; Mohamed Didi Biha πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 169 KB
On the semantics of classical disjunctio
✍ David Pym; Eike Ritter πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 214 KB

The -calculus provides a system of realizers for classical free (cf. natural) deduction in the absence of disjunction. We identify two forms of disjunction, one derived from Gentzen's sequent calculus LJ and one from LK, and develop the corresponding metatheory for extended with disjunction. We desc