独立性的概念:例子和性质

Anais do II Workshop Brasileiro de Lógica (WBL 2021) Pub Date : 2021-07-18 DOI:10.5753/WBL.2021.15775

Bruno Bandeira, Márcia R. Cerioli, Petrucio Viana

{"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启发的一个可能的新概念。对于每一个概念，我们都给出了适当的定义，并给出了说明性的例子。我们给出了这些独立概念之间含义的完整图景。然后，我们做一些额外的观察来阐明这些概念和与之相关的一些概念。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Notions of Independence: Examples and Properties

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Anais do II Workshop Brasileiro de Lógica (WBL 2021)

自引率

0.00%

发文量