Towards a Logic for Union Types

Issue title: Intersection Types and Related Systems (ITRS)

Article type: Research Article

Authors: Stavrinos, Yiorgos | Veneti, Anastasia

Affiliations: Graduate Program in Logic, Algorithms, and Computation, Department of Mathematics, University of Athens, GR-15784 Zografou, Greece. g.stavrinos@math.ntua.gr; tassiana98@gmail.com

Abstract: We examine a logical foundation for the intersection and union types assignment system (IUT). The proposed system is Intersection and Union Logic (IUL), an extension of Intersection Logic (IL) with the canonical rules for union. We investigate two different formalisms for IUL, as well as its properties and its relation with minimal intuitionistic logic.

Keywords: intersection and union types, intersection logics, kits, molecules

DOI: 10.3233/FI-2012-779

Journal: Fundamenta Informaticae, vol. 121, no. 1-4, pp. 275-302, 2012