{"title":"独立性的概念:例子和性质","authors":"Bruno Bandeira, Márcia R. Cerioli, Petrucio Viana","doi":"10.5753/WBL.2021.15775","DOIUrl":null,"url":null,"abstract":"We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and give illustrative examples. We give a complete picture of the implications between these notions of independence. Then, we make some additional observations that shed some light on these notions and some concepts related to them.","PeriodicalId":231385,"journal":{"name":"Anais do II Workshop Brasileiro de Lógica (WBL 2021)","volume":"8 4","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Notions of Independence: Examples and Properties\",\"authors\":\"Bruno Bandeira, Márcia R. Cerioli, Petrucio Viana\",\"doi\":\"10.5753/WBL.2021.15775\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and give illustrative examples. We give a complete picture of the implications between these notions of independence. Then, we make some additional observations that shed some light on these notions and some concepts related to them.\",\"PeriodicalId\":231385,\"journal\":{\"name\":\"Anais do II Workshop Brasileiro de Lógica (WBL 2021)\",\"volume\":\"8 4\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-07-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do II Workshop Brasileiro de Lógica (WBL 2021)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/WBL.2021.15775\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do II Workshop Brasileiro de Lógica (WBL 2021)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/WBL.2021.15775","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
我们分析了由G. Peano, E. H. Moore, a . Church和F. Harary提出的一组公设的独立性概念,以及由H. M. Sheffer启发的一个可能的新概念。对于每一个概念,我们都给出了适当的定义,并给出了说明性的例子。我们给出了这些独立概念之间含义的完整图景。然后,我们做一些额外的观察来阐明这些概念和与之相关的一些概念。
We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and give illustrative examples. We give a complete picture of the implications between these notions of independence. Then, we make some additional observations that shed some light on these notions and some concepts related to them.