First Page | Document Content | |
---|---|---|
Date: 2008-09-05 19:27:35 | RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames inAdd to Reading ListSource URL: math.chapman.eduDownload Document from Source WebsiteFile Size: 377,43 KBShare Document on Facebook |