Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (IICAI, 2005)

Unconventional Models of Computation Through Non-standard Logic Circuits. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (UC, 2007)

Paraconsisted computation: a logic approach to quantum. - Juan Carlos Agudelo Agudelo (2009)

Paraconsistent Machines and their Relation to Quantum Computing. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (J. Log. Comput., 2010)

Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (Rev. Symb. Log., 2011)

Restricted normal modal logics and levelled possible worlds semantics. - Juan Carlos Agudelo Agudelo; Manuel H. Sierra-Aristizábal (J. Log. Comput., 2014)

On polynomial semantics for propositional logics. - Juan Carlos Agudelo Agudelo; Carlos A. Agudelo-González; Oscar E. García-Quintero (J. Appl. Non Class. Logics, 2016)

Polynomial ring calculus for modalities. - Juan Carlos Agudelo Agudelo; Walter Carnielli (J. Log. Comput., 2017)

Translating Non-classical Logics into Classical Logic by Using Hidden Variables. - Juan Carlos Agudelo Agudelo (Logica Universalis, 2017)

Polynomial semantics for modal logics. - Juan Carlos Agudelo Agudelo; Santiago Echeverri-Valencia (J. Appl. Non Class. Logics, 2019)

About Opposition and Duality in Paraconsistent Type Theory. - Juan Carlos Agudelo Agudelo; Andrés Sicard-Ramírez (LSFA, 2021)

Type Theory with Opposite Types: A Paraconsistent Type Theory. - Juan Carlos Agudelo Agudelo; Andrés Sicard-Ramírez (Log. J. IGPL, 2022)

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation. - Juan Carlos Agudelo Agudelo (J. Appl. Non Class. Logics, 2024)