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

DOI10.1007/S12204-012-1247-3MaRDI QIDQ2440191zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 486935 (Why is no real title available?)
• scientific article; zbMATH DE number 1933131 (Why is no real title available?)
• scientific article; zbMATH DE number 1750162 (Why is no real title available?)
• scientific article; zbMATH DE number 1775532 (Why is no real title available?)
• scientific article; zbMATH DE number 205724 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A context model for fuzzy concept analysis based upon modal logic.
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)

Cited in

(14)

• scientific article; zbMATH DE number 5041127 (Why is no real title available?)
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• scientific article; zbMATH DE number 2114093 (Why is no real title available?)
• Lattice-valued modal propositional logic and its completeness
• An implicational logic for orthomodular lattices
• scientific article; zbMATH DE number 2094741 (Why is no real title available?)
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• scientific article; zbMATH DE number 2059739 (Why is no real title available?)
• scientific article; zbMATH DE number 640717 (Why is no real title available?)
• scientific article; zbMATH DE number 679715 (Why is no real title available?)
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• scientific article; zbMATH DE number 1933131 (Why is no real title available?)
• Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\)
• 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)