Lattice-valued modal propositional logic and its completeness

DOI10.1007/S11432-010-4098-2zbMath1219.03025OpenAlexW2048959899MaRDI QIDQ543066

Huixian Shi, Wang, Guojun

Publication date: 17 June 2011

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-010-4098-2

zbMATH Keywords

\(\text{QM}R_{0}\)-algebralatticed-valued modal propositional logicmodal model

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (2)

Lattice and metric completions of the classical logic metric space and a comparison1 ⋮ Temporal normal form for Linear Temporal Logic formulae1

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
• A universal theory of measure and integral on valuation spaces with respect to diverse implication operators
• Quantitative logic
• On standard models of fuzzy modal logics
• A context model for fuzzy concept analysis based upon modal logic.
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• Infinite distributive laws versus local connectedness and compactness properties

This page was built for publication: Lattice-valued modal propositional logic and its completeness