Finite embeddability property for residuated groupoids

• Autorzy: Farulewski M.
• Języki publikacji: EN

Abstrakty

EN

We prove Finite Embeddability Property (FEP) for the class of residuated groupoids. The problem whether the class has FEP was left open by Blok and van Alten [3]. We combine proof theoretic and algebraic methods.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2008
• Tom: No. 43
• Strony: 25--42
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Farulewski M.

• Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań, Poland,

Bibliografia

• [1] F. Belardinelli, P. Jipsen, H. Ono Algebraic Aspects of Cut Elimination, Studia Logica 77 (2004), pp. 209–240.
• [2] W. J. Blok, C. J. van Alten The finite embeddability property for residuated lattices, pocrims and BCK-algebras, Algebra Universalis 48 (2002), pp. 253–271.
• [3] W. J. Blok, C. J. van Alten On the finite embeddability property for residuated ordered groupoids, Transactions of the AMS 357 (2005), pp. 4141–4157.
• [4] W. Buszkowski Finite Models of Some Substructural Logics, Mathematical Logic Quarterly 48 (2002), pp. 63–71.
• [5] W. Buszkowski Lambek Calculus with Nonlogical Axioms, in: Language and Grammar. Studies in Mathematical Linguistics and Natural Language, C. Casadio, P.J. Scott, R.A.G. Seely (eds.), CSLI Lecture Notes 168, 2005, Stanford, pp. 77–93.
• [6] N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007.
• [7] Y. Lafont The finite model property for various fragments of linear logic, Journal of Symbolic Logic 62 (1997), pp. 1202–1208.
• [8] J. Lambek On the calculus of syntactic types, in R. Jacobson, (ed.), Structure of Language and Its Mathematical Aspects, American Mathematical Society, 1961, pp. 166–178.
• [9] M. Okada, K. Terui The finite model property for various fragments of intuitionistic linear logic, Journal of Symbolic Logic 64 (1999), pp. 790–802.
• [10] D. Roorda Resource logics: proof-theoretical investigations, Ph.D. thesis, University of Amsterdam, 1991.