Lattice-valued modal propositional logic based on M-lattice implication algebras
From MaRDI portal
Publication:2440191
DOI10.1007/s12204-012-1247-3zbMath1283.68320OpenAlexW2334411516MaRDI QIDQ2440191
Yi Liu, Jun Liu, Yang Xu, Shuwei Chen
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
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logical aspects of lattices and related structures (03G10)
Cites Work
- 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)\)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item