𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Computation of the Disjunctive Well-Founded Semantics

✍ Scribed by C. A. Johnson

Book ID
110294817
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
162 KB
Volume
26
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the semantics of classical disjunctio
On the semantics of classical disjunction
✍ 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