Lattice-valued modal propositional logic based on M-lattice implication algebras

DOI10.1007/S12204-012-1247-3zbMATH Open1283.68320OpenAlexW2334411516MaRDI QIDQ2440191FDOQ2440191

Authors: Yi Liu, Jun Liu, Shuwei Chen, Yang Xu 

Publication date: 27 March 2014

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s12204-012-1247-3

Recommendations

• scientific article; zbMATH DE number 205724
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• scientific article; zbMATH DE number 2059739
• scientific article; zbMATH DE number 2094741
• Lattice-valued modal propositional logic and its completeness

zbMATH Keywords

semanticsyntaxlattice-valued modal logicmodal lattice implication algebras

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Logical aspects of lattices and related structures (03G10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• A context model for fuzzy concept analysis based upon modal logic.
• Title not available (Why is that?)
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\)
• Lattice-valued modal propositional logic and its completeness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An implicational logic for orthomodular lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• Title not available (Why is that?)
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1

This page was built for publication: Lattice-valued modal propositional logic based on M-lattice implication algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2440191)