Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218
Title: | Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas. |
Other Titles: | Non-alectic logical systems: an introduction to paraconsistent and paracomplete logic. |
???metadata.dc.creator???: | SILVA, Antônio Gomes da. |
Keywords: | Sistemas lógicos não aléticos;Lógica paraconsistente;Lógica paracompleta;Sistema axiomático formal;Cálculo proposicional não alético;Non-alectic logical systems;Paraconsistent logic;Paracomplete logic;Formal axiomatic system;Non-allectic propositional calculus;Sistemas lógicos no alécticos;Lógica paraconsistente;Lógica paracompleta;Sistema axiomático formal;Cálculo proposicional no aléctico;Systèmes logiques non alectiques;logique paracohérente;Logique paracomplète;Système axiomatique formel;Calcul propositionnel non allectique |
Issue Date: | 2017 |
Publisher: | Universidade Federal de Campina Grande |
Citation: | SILVA, Antônio Gomes da. Sistemas lógicos não aléticos: uma introdução às lógicas paraconsistentes e paracompletas. Campina Grande - PB: EDUFCG, 2017. ISBN: 978-85-8001-216-3. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218 |
???metadata.dc.description.resumo???: | Teorias não aléticas são aquelas cujo cálculo lógico subjacente comporta, simultaneamente, a negação da validade irrestrita do Princípio de Não Contradição e a negação da validade irrestrita do Princípio do Terceiro Excluído. Os sistemas lógicos não aléticos encontram contato histórico com as abordagens de teorias inconsistentes não triviais. Forma possível de situá-los historicamente, por-tanto, é relacioná-los à história de tais abordagens. |
Keywords: | Sistemas lógicos não aléticos Lógica paraconsistente Lógica paracompleta Sistema axiomático formal Cálculo proposicional não alético Non-alectic logical systems Paraconsistent logic Paracomplete logic Formal axiomatic system Non-allectic propositional calculus Sistemas lógicos no alécticos Lógica paraconsistente Lógica paracompleta Sistema axiomático formal Cálculo proposicional no aléctico Systèmes logiques non alectiques logique paracohérente Logique paracomplète Système axiomatique formel Calcul propositionnel non allectique |
???metadata.dc.subject.cnpq???: | Filosofia. Matemática. |
URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30218 |
Appears in Collections: | Livros e E-books - Editora da UFCG - Edufcg |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
SISTEMAS LÓGICOS NÃO ALÉTICOS - E-BOOK EDUFCG 2017.pdf | Sistemas lógicos não aléticos - E-book EDUFCG 2017. | 2.34 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.