{"title":"基于格蕴涵代数的语言真值命题逻辑框架","authors":"L. Zou, Jun Ma, Yang Xu","doi":"10.1109/GRC.2006.1635868","DOIUrl":null,"url":null,"abstract":"The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J-resolution method of the linguistic truth value propositional logic is presented.","PeriodicalId":400997,"journal":{"name":"2006 IEEE International Conference on Granular Computing","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"A framework of linguistic truth-valued propositional logic based on lattice implication algebra\",\"authors\":\"L. Zou, Jun Ma, Yang Xu\",\"doi\":\"10.1109/GRC.2006.1635868\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J-resolution method of the linguistic truth value propositional logic is presented.\",\"PeriodicalId\":400997,\"journal\":{\"name\":\"2006 IEEE International Conference on Granular Computing\",\"volume\":\"2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-05-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 IEEE International Conference on Granular Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/GRC.2006.1635868\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 IEEE International Conference on Granular Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/GRC.2006.1635868","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A framework of linguistic truth-valued propositional logic based on lattice implication algebra
The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J-resolution method of the linguistic truth value propositional logic is presented.