Počet záznamů: 1
Hiroakira Ono on Substructural Logics
- 1.0550967 - ÚI 2023 RIV CH eng M - Část monografie knihy
Horčík, Rostislav
Finite Embeddability Property for Residuated Lattices via Regular Languages.
Hiroakira Ono on Substructural Logics. Cham: Springer, 2022 - (Galatos, N.; Terui, K.), s. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Finite Embeddability Property * Residuated Lattices * Regular Languages
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Let V be a variety of residuated lattices axiomatized by a set of identities in the language {∨,⋅,1} . We characterize when V has the finite embeddability property via regularity of a certain collection of languages. Several applications of this characterization are presented.
Trvalý link: http://hdl.handle.net/11104/0326248
Počet záznamů: 1