Intersection and Union Logic
Simona Ronchi, Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti · 2010
In [7] and [5, 6] the authors defined “Intersection Logic ” IL and “Intersection Synchronous Logic” ISL, respectively, aiming to give a logical account of intersection types [2]. The problem of a logical foundation of intersection types has been proposed by Hindley [4] as a consequence of the observation that the intersection connective does not coincide with the intuitionistic conjunction. ISL is a deductive