Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
25--42
Opis fizyczny
Bibliogr. 10 poz.
Twórcy
autor
- Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań, Poland, maciejf@amu.edu.pl
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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ6-0027-0019