Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gabriel Alexandre da Cruz"'
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 4 (2022)
We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.
Externí odkaz:
https://doaj.org/article/8864a1af910b43319272e242a460eabc
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 4, Pp 16-29 (2015)
Externí odkaz:
https://doaj.org/article/7b6acfd22ec647c0b70305620b469f80
Publikováno v:
Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia. 9
A Lógica paraconsistente J3 foi introduzida por D’Ottaviano e da Costa (1970). Tal abordagem foi proposta ao considerar o problema de Jàskowski que tratava de aspectos da paraconsistência. Em (1985) D’Ottaviano apresentou um sistema axiomátic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e9a4082531722339f5fae0112e24d15
https://doi.org/10.36311/1984-8900.2017.v9n20.09.p126
https://doi.org/10.36311/1984-8900.2017.v9n20.09.p126
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 4, Pp 16-29 (2015)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::385f59a306c16aa952af6ddafd12ad7e
https://doi.org/10.21167/cqdvol4201523169664hafgacacjg1629
https://doi.org/10.21167/cqdvol4201523169664hafgacacjg1629