Journal of shanghai Jiaotong University (Science) ›› 2012, Vol. 17 ›› Issue (2): 166-170.doi: 10.1007/s12204-012-1247-3
• Articles • Previous Articles Next Articles
LIU Yi 1,2∗ (刘熠), LIU Jun 3 (刘军), CHEN Shu-wei 3 (陈树伟), XU Yang 2 (徐扬)
Online:
2012-04-28
Published:
2012-05-31
CLC Number:
LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬). Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras[J]. Journal of shanghai Jiaotong University (Science), 2012, 17(2): 166-170.
[1] Hughes G E, Cresswell M J. A new introduction to modal logic [M]. London, UK: Routledge, 1996. [2] Blackburn P, Derijke M, Venema Y. Modal logic [M]. London, UK: Cambridge University Press, 2001. [3] Huynh V N, Nakamori Y, Ho T B, et al. A context model for fuzzy concept analysis based upon modal logic [J]. Information Sciences, 2004, 160(1-4): 111- 129. [4] Fitting M C. Many-valued modal logics [J]. Fundamenta Informaticae, 1992, 15: 235-254. [5] Fitting M C. Many-valued modal logics II [J]. Fundamenta Informaticae, 1992, 17: 55-73. [6] Maruyama Y. Algebraic study of lattice-valued logic and lattice-valued modal logic [J]. Lecture Notes in Computer Science, 2009, 5378: 170-184. [7] Wang Guo-jun, Shi Hui-xian. Lattice-valued modal propositional logic and its completeness [J]. SCIENCE CHINA: Information Science, 2011, 41(1): 66-76 (in Chinese). [8] Xu Yang. Lattice implication algebras [J]. Journal of Southwest Jiaotong University, 1993(1): 20-27 (in Chinese). [9] Xu Y, Qin K Y. On filters of lattice implication algebras [J]. Journal of Fuzzy Mathematics, 1993, 1(2):251-260. [10] Xu Y, Qin K Y, Roh E H. A first order lattice-valued logic system. I. Semantic [J]. Journal of Fuzzy Mathematics, 2001, 9: 969-976. [11] Xu Y, Song Z M, Qin K Y, et al. Syntax of L-valued first order logic Lvfl [J]. Multiple Valued Logic, 2001,7(3-4): 213-257. [12] Xu Y, Ruan D, Kerre E E, et al. α-resolution principle based on lattice-valued first order logic LF(X) [J].Information Sciences, 2001, 132(1-4): 221-239. [13] Li Wen-jiang. Generalized lattice-valued modal logic system and resolution automated reasoning based on lattice implication algebras [D]. Chengdu: Intelligent Control Development Center, Southwest Jiaotong University,2002(in Chinese). [14] Li W J, Xu Y. On semantic of L-valued modal propositional logic LMP(X) [J]. Journal of Fuzzy Mathematics,2002, 10(4): 939-947. [15] Xu Y, Ruan D, Qin K Y, et al. Lattice-valued logic [M]. Berlin, Germany: Springer-Verlag, 2003. |
[1] | ZHAO Yinjie1 (赵寅杰), HOU Runpingg1 (侯润萍), ZENG Wanqin2 (曾琬琴), QIN Yulei1 (秦玉磊), SHEN Tianle2 (沈天乐), XU Zhiyong2 (徐志勇), FU Xiaolong2* (傅小龙), SHEN Hongbin1* (沈红斌). Positional Information is a Strong Supervision for Volumetric Medical Image Segmentation [J]. J Shanghai Jiaotong Univ Sci, 2025, 30(1): 121-129. |
[2] | ZHAO Yanfei1,2,3(赵艳飞), XIAO Peng4 (肖鹏), WANG Jingchuan1,2,3* (王景川), GUO Rui4*(郭锐). Semi-Autonomous Navigation Based on Local Semantic Map for Mobile Robot [J]. J Shanghai Jiaotong Univ Sci, 2025, 30(1): 27-33. |
[3] | WANG Baokun, WANG Rulu, CHEN Jinjian, PAN Yue, WANG Lujie. Automatic Detection Method for Surface Diseases of Shield Tunnel Based on Deep Learning [J]. Journal of Shanghai Jiao Tong University, 2024, 58(11): 1716-1723. |
[4] | LAI Guoliang, HU Zhaozheng, ZHOU Zhe, WAN Jinjie, REN Jingyuan. Simultaneous Detection and Localization for Intelligent Vehicles Based on HD Map Matching and Semantic Likelihood Model [J]. Journal of Shanghai Jiao Tong University, 2024, 58(10): 1618-1628. |
[5] | ZENG Zhirian(曾志贤),CAO Jianjun*(曹建军),WENG Nianfeng(翁年凤),YUAN Zhen(袁震),YU Xu(余旭). Cross-Modal Entity Resolution for Image and Text Integrating Global and Fine-Grained Joint Attention Mechanism [J]. J Shanghai Jiaotong Univ Sci, 2023, 28(6): 728-737. |
[6] | QIN Chao1 (秦 超), WANG Yafei1 (王亚飞), ZHANG Yuchao2 (张宇超), YIN Chengliang1∗ (殷承良). Birds-Eye-View Semantic Segmentation and Voxels Semantic Segmentation Based on Frustum Voxels Modeling and Monocular Camera [J]. J Shanghai Jiaotong Univ Sci, 2023, 28(1): 100-113. |
[7] | XU Hanqing (徐汉卿), YANG Ming∗ (杨 明), DENG Liuyuan (邓琉元), LI Hao (李 颢), WANG Chunxiang, (王春香), HAN Weibin (韩伟斌), YU Yuelong (于跃龙). Semantic Segmentation-Based Road Marking Detection Using Around View Monitoring System [J]. J Shanghai Jiaotong Univ Sci, 2022, 27(6): 833-843. |
[8] | XU Ling, WANG Xingzhi, XIAO Linpeng. Power Grid Dispatching Event Detection Technology Based on Semantic Feature Capture [J]. Journal of Shanghai Jiao Tong University, 2021, 55(S2): 86-91. |
[9] | ZHANG Junning, SU Qunxing, WANG Cheng, XU Chao, LI Yining. A Domain Adaptive Semantic Segmentation Network Based on Improved Transformation Network [J]. Journal of Shanghai Jiao Tong University, 2021, 55(9): 1158-1168. |
[10] | WANG Yinglin . Fine-Grained Opinion Mining on Chinese Car Reviews with Conditional Random Field [J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(3): 325-332. |
[11] | SONG Jie,ZHOU Jian,BAO Wei,HUANG Wentao,GAO Xiang. Expansible Modeling and Applied Strategies Based on Semantic Web for Expert System of AC-DC Intelligent Substation [J]. Journal of Shanghai Jiaotong University, 2018, 52(9): 1072-1080. |
[12] | Wang Y.. Automatic semantic analysis of software requirements through machine learning and ontology approach [J]. J Shanghai Jiaotong Univ Sci, 2016, 21(6): 692-701. |
[13] | SU Bai-hua1 (苏柏桦), WANG Ying-lin2* (王英林). Genetic Algorithm Based Feature Selection and Parameter Optimization for Support Vector Regression Applied to Semantic Textual Similarity [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 143-148. |
[14] | WANG Fei (王飞), LI Cai-hong* (李彩虹), WANG Jing-shan (王景山),XU Jiao (徐娇), LI Lian (李廉). A Two-Stage Feature Selection Method for Text Categorization by Using Category Correlation Degree and Latent Semantic Indexing [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(1): 44-50. |
[15] | CAO Xue (曹雪), CAI Hong-ming (蔡鸿明), BU Feng-lin (步丰林). Semantic Driven Design Reuse for 3D Scene Modeling [J]. Journal of shanghai Jiaotong University (Science), 2012, 17(2): 233-236. |
Viewed | ||||||||||||||||||||||||||||||||||||||||||||||||||
Full text 439
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Abstract 1603
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||