Back to Search
Start Over
RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY.
- Source :
-
Transactions of the American Mathematical Society . Mar2013, Vol. 365 Issue 3, p1219-1249. 31p. - Publication Year :
- 2013
-
Abstract
- Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic, and of phase spaces in linear logic. We explore the connection between Gentzen systems and residuated frames and illustrate how frames provide a uniform treatment for semantic proofs of cut-elimination, the finite model property and the finite embeddability property, which imply the decidability of the equational/universal theories of the associated residuated lattice-ordered groupoids. In particular these techniques allow us to prove that the variety of involutive FL-algebras and several related varieties have the finite model property. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00029947
- Volume :
- 365
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Transactions of the American Mathematical Society
- Publication Type :
- Academic Journal
- Accession number :
- 84440296