Edelcio G. de Souza

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 5

Top Topics

Possibilistic Logic

Valued Semantics

Proof Procedures

Top Venues

Logica Universalis

J. Appl. Non Class. Logics

Publications

Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
Paraconsistentization and many-valued logics. Log. J. IGPL 32 (1) (2024)
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
Paraconsistent Orbits of Logics. Logica Universalis 15 (3) (2021)
Juliano Maranhão, Edelcio G. de Souza, Giovanni Sartor
A dynamic model for balancing values. ICAIL (2021)
Juliano Maranhão, Edelcio G. de Souza
Contraction of Combined Normative Sets. DEON (2018)
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
On a paraconsistentization functor in the category of consequence structures. J. Appl. Non Class. Logics 26 (3) (2016)
Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza
Definability in infinitary languages and invariance by automorphims. Reports Math. Log. 45 (2010)
Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza
Invariance and Set-Theoretical Operations in First Order Structures. Reports Math. Log. 40 (2006)
Edelcio G. de Souza
Multideductive Logic And The Theoretic-Formal Unification Of Physical Theories. Synth. 125 (1-2) (2000)