Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: intersection logics

Sortuj według:

Ogranicz wyniki do:

Towards a Logic for Union Types

Stavrinos Y., Veneti A.

Fundamenta Informaticae

2012

Vol. 121, nr 1/4

275-302

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.