Finite embeddability property for residuated lattices via regular languages

DOI10.1007/978-3-030-76920-8_7MaRDI QIDQ6201545zbMATH OpenOpenAlexFDO

Authors Rostislav Horčík

Publication date 25 March 2024

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-76920-8_7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 1259068 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Decision problems for propositional linear logic
• On closed elements in closure algebras
• On regularity of context-free languages
• On square-increasing ordered monoids and idempotent semirings
• On the finite embeddability property for residuated ordered groupoids
• Ordering by Divisibility in Abstract Algebras
• Protoalgebraic logics
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Some Interconnections Between Modern Algebra and Mathematical Logic
• The algebra of topology
• The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The finite model property for knotted extensions of propositional linear logic
• Two concepts from the theory of models
• Word problem for knotted residuated lattices.

This page was built for publication: Finite embeddability property for residuated lattices via regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201545)