Hércules De Araujo Feitosa, Cristiane Alexandra Lázaro, Mauri Cunha do Nascimento
{"title":"伽罗瓦对和塔尔斯基空间","authors":"Hércules De Araujo Feitosa, Cristiane Alexandra Lázaro, Mauri Cunha do Nascimento","doi":"10.23925/2316-5278.2018V19I1P110-132","DOIUrl":null,"url":null,"abstract":"Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo (de Tarski) e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.","PeriodicalId":206101,"journal":{"name":"Cognitio: Revista de Filosofia","volume":"146 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Pares de Galois e espaços de Tarski\",\"authors\":\"Hércules De Araujo Feitosa, Cristiane Alexandra Lázaro, Mauri Cunha do Nascimento\",\"doi\":\"10.23925/2316-5278.2018V19I1P110-132\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo (de Tarski) e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.\",\"PeriodicalId\":206101,\"journal\":{\"name\":\"Cognitio: Revista de Filosofia\",\"volume\":\"146 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-09-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Cognitio: Revista de Filosofia\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23925/2316-5278.2018V19I1P110-132\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Cognitio: Revista de Filosofia","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23925/2316-5278.2018V19I1P110-132","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo (de Tarski) e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
