A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.
| Citations: | 1 - 0 self |
BibTeX
@MISC{Bellin_aterm,
author = {Gianluigi Bellin and Nicola Gambino and Maria Emilia Maietti and Kurt Ranalter and Edmund Robinson},
title = {A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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 multiple-conclusions Natural Deduction system NJ � � for this logic: unlike the best-known treatments of multiple-conclusion systems (e.g., Parigot’s λ−µ calculus, or Urban and Bierman’s term-calculus) here the term-assignment is distributed to all conclusions, and exhibits several features of calculi for concurrency, such as remote capture of variable and remote substitution. The present construction can be regarded as the construction of a free co-Cartesian
