Syntax of first-order lattice valued logic system FM

1997中国科学通报：英文版Computer Science被引 4

摘要

PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems, we proposed the concept of lattice implication algebra, discussed the corresponding lattice valued propositional logic system, and established a first

引用本文（GB/T 7714）

Yang, Xu, Keyun, 等. Syntax of first-order lattice valued logic system FM[J]. 中国科学通报：英文版, 1997.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。