On modal extensions of Product fuzzy logic

DOI10.1093/logcom/exv046zbMath1390.03025OpenAlexW2237602444MaRDI QIDQ2987054

Francesc Esteva, Amanda Vidal, Lluís Godo

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8166dcd72d12935838b731c0169a85b0afeecefd

zbMATH Keywords

strong standard completenessinfinitary rulemodal fuzzy logicsproduct fuzzy logicrational truth-constants

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45)

Related Items (16)

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Frame definability in finitely valued modal logics ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ A note on strong axiomatization of Gödel justification logic ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Expressivity in chain-based modal logics ⋮ Axiomatization of crisp Gödel modal logic ⋮ Axiomatizing logics of fuzzy preferences using graded modalities ⋮ On transitive modal many-valued logics ⋮ Neighborhood semantics for modal many-valued logics ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Hyperresolution for Gödel logic with truth constants

This page was built for publication: On modal extensions of Product fuzzy logic