Juan Carlos Agudelo Agudelo

ORCID

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 6

Top Venues

J. Log. Comput.

J. Appl. Non Class. Logics

Log. J. IGPL

LSFA

University of Campinas, Brazil (PHD)

Education History

University of Campinas, Brazil

PHD

Publications

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
Type Theory with Opposite Types: A Paraconsistent Type Theory. Log. J. IGPL 30 (5) (2022)
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
About Opposition and Duality in Paraconsistent Type Theory. LSFA (2021)
Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia
Polynomial semantics for modal logics. J. Appl. Non Class. Logics 29 (4) (2019)
Juan Carlos Agudelo Agudelo
Translating Non-classical Logics into Classical Logic by Using Hidden Variables. Logica Universalis 11 (2) (2017)
Juan Carlos Agudelo Agudelo, Walter Carnielli
Polynomial ring calculus for modalities. J. Log. Comput. 27 (6) (2017)
Juan Carlos Agudelo Agudelo, Carlos A. Agudelo-González, Oscar E. García-Quintero
On polynomial semantics for propositional logics. J. Appl. Non Class. Logics 26 (2) (2016)
Juan Carlos Agudelo Agudelo, Manuel H. Sierra-Aristizábal
Restricted normal modal logics and levelled possible worlds semantics. J. Log. Comput. 24 (4) (2014)
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities. Rev. Symb. Log. 4 (1) (2011)
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
Paraconsistent Machines and their Relation to Quantum Computing. J. Log. Comput. 20 (2) (2010)
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
Unconventional Models of Computation Through Non-standard Logic Circuits. UC (2007)
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. IICAI (2005)

Juan Carlos Agudelo Agudelo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Juan Carlos Agudelo Agudelo