Zobrazeno 1 - 10 of 11 pro vyhledávání: '"Edelcio G de Souza"'
1
Paraconsistent Orbits of Logics
Autor: Edelcio G. de Souza, Diogo H. B. Dias, Alexandre Costa-Leite
Publikováno v: Logica Universalis. 15:271-289
Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraco
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::35274f323e7a1e91610b09ec3e641a0e
https://doi.org/10.1007/s11787-021-00284-3
Zobrazit plný text záznamu
2
A dynamic model for balancing values
Autor: Juliano Souza de Albuquerque Maranhão, Giovanni Sartor, Edelcio G. de Souza
Publikováno v: ICAIL
ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
We propose an additive model for balancing the impacts of actions on values, where factors intensify or attenuate impacts on values, and values are assigned degrees of relative importance (weights). The balancing model induces axiological rules, cons
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d93012f310ce3b05151a90733d40a361
https://doi.org/10.1145/3462757.3466143
Zobrazit plný text záznamu
3
Conjunctive and disjunctive limits : abstract logics and modal operators
Autor: Edelcio G. de Souza, Alexandre Costa-Leite
Publikováno v: Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
Studia Humana, Vol 9, Iss 3-4, Pp 66-71 (2020)
Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::922ac31ab85cf625a6b8eb490aeab9ff
https://repositorio.unb.br/handle/10482/40113
Zobrazit plný text záznamu
4
Paraconsistentization and many-valued logics
Autor: Edelcio G de Souza, Alexandre Costa-Leite, Diogo H B Dias
Publikováno v: Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ef06649b9eafde0e745e400ee08909b
http://arxiv.org/abs/2004.14881
Zobrazit plný text záznamu
5
Sobre a Noção Categorial de Proto-topos
Autor: Edelcio G. de Souza
Publikováno v: Revista de Filosofia Moderna e Contemporânea, Vol 6, Iss 2, Pp 105-114 (2018)
Journal of Modern and Contemporary Philosophy; Vol. 6 No. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 105-114
Revista de Filosofia Moderna e Contemporânea; Vol. 6 Núm. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 105-114
Revista de Filosofia Moderna e Contemporânea; v. 6 n. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 105-114
The aim of this paper is to show how is possible to do semantic for propositional languages in a categorical setting different from topos. I propose the definition of two kinds of categories called categories with truth morphisms (CTM) and proto-topo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca1f588df7f3f225508b9059059b64bc
https://periodicos.unb.br/index.php/fmc/article/view/22103
Zobrazit plný text záznamu
6
Implications and Limits of Sequences
Autor: Alexandre Costa-Leite, Edelcio G. de Souza
Publikováno v: Studia Humana, Vol 6, Iss 1, Pp 18-24 (2017)
This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ad0725f4d0d2e987d83041f84bda18a
https://doi.org/10.1515/sh-2017-0003
Zobrazit plný text záznamu
8
On a paraconsistentization functor in the category of consequence structures
Autor: Diogo H. B. Dias, Edelcio G. de Souza, Alexandre Costa-Leite
Publikováno v: Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::591ac818318fbb6c19c705baa55cab1e
http://arxiv.org/abs/1604.04227
Zobrazit plný text záznamu
9
Logics and Their Galaxies
Autor: Alexandre Costa-Leite, Edelcio G. de Souza, Hilan Bensusan
Publikováno v: Studies in Universal Logic ISBN: 9783319153674
This chapter introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated with each logic and shows some of their properties. It presents the notion of gala
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7745e769018822d7c680ae84e3cd90dc
https://doi.org/10.1007/978-3-319-15368-1_10
Zobrazit plný text záznamu
10
[Untitled]
Autor: Edelcio G. de Souza
Publikováno v: Synthese. 125:253-262
We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in f
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::14f82d051308797db2d15826f2e84908
https://doi.org/10.1023/a:1005254826656
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje