Kripke Models for Linear Logic

Autor: Allwein, Gerard, Dunn, J. Michael
Zdroj: The Journal of Symbolic Logic, 1993 Jun 01. 58(2), 514-545.
Databáze: JSTOR Journals