Finite Embeddability Property for Residuated Lattices via Regular Languages

Authors: Rostislav Horčík
Publication year: 2022
Publication type: Kapitola v monografii
Periodical: Hiroakira Ono on Substructural Logics
Projects: Center of excellence - Institute for theoretical computer science (CE-ITI)
Bibliographic citation: HORČÍK, Rostislav. Finite Embeddability Property for Residuated Lattices via Regular Languages. In: GALATOS, N., TERUI, K., eds. Hiroakira Ono on Substructural Logics. Cham: Springer, 2022, S. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
Dostupné z: doi:10.1007/978-3-030-76920-8_7.
DOI: 10.1007/978-3-030-76920-8_7
ID: 550967
Online record: View online record

Abstract

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.