Extending maps to profinite completions in finitely generated quasivarieties
From MaRDI portal
Publication:2204385
DOI10.1007/s13366-020-00492-wzbMath1485.08006arXiv1310.2140OpenAlexW3009764892MaRDI QIDQ2204385
Publication date: 15 October 2020
Published in: Studia Logica, Beiträge zur Algebra und Geometrie (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1310.2140
modal logicMV-algebrasmany-valued logicprofinite completionscanonical extensionsnatural dualitiescanonical modelnatural extensionsKripke semanticrelational semantic
Modal logic (including the logic of norms) (03B45) MV-algebras (06D35) Many-valued logic (03B50) Quasivarieties (08C15) Automorphisms and endomorphisms of algebraic structures (08A35) Natural dualities for classes of algebras (08C20)
Related Items
Decidability of order-based modal logics ⋮ Modal definability based on Łukasiewicz validity relations ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Modal operators on pseudo-BE algebras ⋮ On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ Frame definability in finitely valued modal logics ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Łukasiewicz Public Announcement Logic ⋮ Logics for belief functions on MV-algebras ⋮ Introduction ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Propositional dynamic logic for searching games with errors ⋮ Expressivity in chain-based modal logics ⋮ Continuous propositional modal logic ⋮ Axiomatization of crisp Gödel modal logic ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Axiomatizing logics of fuzzy preferences using graded modalities ⋮ On transitive modal many-valued logics ⋮ Neighborhood semantics for modal many-valued logics ⋮ Unnamed Item ⋮ Toward a general frame semantics for modal many-valued logics ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Natural extensions and profinite completions of algebras
- A Sahlqvist theorem for distributive modal logic
- On profinite completions and canonical extensions
- Standard Gödel modal logics
- Metamathematics of fuzzy logic
- On the canonicity of Sahlqvist identities
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Algebraic foundations of many-valued reasoning
- Tableaus for many-valued modal logic
- Natural dualities in partnership
- Canonical extensions and profinite completions of semilattices and lattices
- MV-algebras: a variety for magnitudes with archimedean units
- A View of Canonical Extension
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Many-Valued Modal Propositional Calculi
- Median Algebra
- Bounded distributive lattice expansions
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Ternary Boolean algebra
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Medians, Lattices, and Trees
- Natural dualities for varieties of MV-algebras. I
- The preservation of Sahlqvist equations in completions of Boolean algebras with operators
- Bounded lattice expansions