{"title":"多值逻辑中函数的次序集","authors":"Erkko Lehtonen, Tamás Waldhauser","doi":"10.1109/ISMVL.2017.9","DOIUrl":null,"url":null,"abstract":"We study the structure of the partially ordered set of minors of an arbitrary function of several variables. We give an abstract characterization of such \"minor posets\" in terms of colorings of partition lattices, and we also present infinite families of examples as well as constructions that can be used to build new minor posets.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Posets of Minors of Functions in Multiple-Valued Logic\",\"authors\":\"Erkko Lehtonen, Tamás Waldhauser\",\"doi\":\"10.1109/ISMVL.2017.9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the structure of the partially ordered set of minors of an arbitrary function of several variables. We give an abstract characterization of such \\\"minor posets\\\" in terms of colorings of partition lattices, and we also present infinite families of examples as well as constructions that can be used to build new minor posets.\",\"PeriodicalId\":393724,\"journal\":{\"name\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2017.9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2017.9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Posets of Minors of Functions in Multiple-Valued Logic
We study the structure of the partially ordered set of minors of an arbitrary function of several variables. We give an abstract characterization of such "minor posets" in terms of colorings of partition lattices, and we also present infinite families of examples as well as constructions that can be used to build new minor posets.