![](https://www.pdfsearch.io/img/e225d367bf090c69215d961176d262e9.jpg) 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 Website File Size: 377,43 KBShare Document on Facebook
|