From Kripke to Neighborhood Semantics for Modal Fuzzy Logics

DOI10.1007/978-3-319-40581-0_9zbMath1455.03028OpenAlexW2492922778MaRDI QIDQ5117202

Jonas Rogger, Carles Noguera, Petr Cintula

Publication date: 20 August 2020

Published in: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40581-0_9

zbMATH Keywords

extensionality axiomHilbert-style calculusfuzzy logic moduleprincipal semanticssemantic neighborhood

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Neighbourhood semantics for FDE-based modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Standard Gödel modal logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Decidability of order-based modal logics
• Fuzzy class theory
• Modal extensions of Łukasiewicz logic for modelling coalitional power
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Algebraizable logics
• Universal grammar

This page was built for publication: From Kripke to Neighborhood Semantics for Modal Fuzzy Logics