Extending maps to profinite completions in finitely generated quasivarieties

DOI10.1007/s13366-020-00492-wzbMath1485.08006arXiv1310.2140OpenAlexW3009764892MaRDI QIDQ2204385

Bruno Teheux, Georges Hansoul

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

zbMATH Keywords

modal logicMV-algebrasmany-valued logicprofinite completionscanonical extensionsnatural dualitiescanonical modelnatural extensionsKripke semanticrelational semantic

Mathematics Subject Classification ID

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