Finite embeddability property for residuated lattices via regular languages

DOI10.1007/978-3-030-76920-8_7OpenAlexW4200448983MaRDI QIDQ6201545FDOQ6201545

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

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

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)