OIL seminar N.S. (1998)

January 21, 1998

Title:

A canonical model construction for substructural logics

Speaker:

ISHIHARA, Hajime

Abstract:

We will give a construction of Kripke-style model (i.e. meet semilattice with a binary operation) for substructural logics.
The construction is inspired by filter model construction for intersection type assignment systems.