datum: 11.4.2012 v 9:00
název: Completeness properties for classes of semi-linear residuated grupoids
přednášející: Rostislav Horčík (UI)
místo konání: UI, 2.patro, místnost č.318

souhrn: We will discuss completeness properties for various classes of semilinear residuated lattice ordered groupoids which form equivalent algebraic semantics for basic extensions of non-associative full Lambek calculus. In particular, we will show how to prove the finite embeddability property which implies decidability for the universal theories of the above-mentioned classes of algebras.