{"title":"正模偏序集的Kalmbach蕴涵","authors":"Kadir Emir, Jan Paseka","doi":"10.1109/ISMVL57333.2023.00015","DOIUrl":null,"url":null,"abstract":"We show that for every orthogonal lub-complete poset P = (P,≤,′, 0, 1), we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, and non-tolens implication.If the classical implication satisfies the order property, then the corresponding orthologic becomes classical and vice versa. If the Kalmbach or non-tolens implication meets the order property, then the corresponding orthologic becomes quantum and vice versa. A related result for the modus ponens rule is obtained.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Kalmbach implication in orthomodular posets\",\"authors\":\"Kadir Emir, Jan Paseka\",\"doi\":\"10.1109/ISMVL57333.2023.00015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show that for every orthogonal lub-complete poset P = (P,≤,′, 0, 1), we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, and non-tolens implication.If the classical implication satisfies the order property, then the corresponding orthologic becomes classical and vice versa. If the Kalmbach or non-tolens implication meets the order property, then the corresponding orthologic becomes quantum and vice versa. A related result for the modus ponens rule is obtained.\",\"PeriodicalId\":419220,\"journal\":{\"name\":\"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL57333.2023.00015\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL57333.2023.00015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We show that for every orthogonal lub-complete poset P = (P,≤,′, 0, 1), we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, and non-tolens implication.If the classical implication satisfies the order property, then the corresponding orthologic becomes classical and vice versa. If the Kalmbach or non-tolens implication meets the order property, then the corresponding orthologic becomes quantum and vice versa. A related result for the modus ponens rule is obtained.