Juan Carlos Agudelo Agudelo

According to our database, Juan Carlos Agudelo Agudelo authored at least 13 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.

Juan Carlos Agudelo Agudelo

J. Appl. Non Class. Logics, January, 2024

2022

Type Theory with Opposite Types: A Paraconsistent Type Theory.

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez

Log. J. IGPL, 2022

2021

About Opposition and Duality in Paraconsistent Type Theory.

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

2019

Polynomial semantics for modal logics.

Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia

J. Appl. Non Class. Logics, 2019

2017

Translating Non-classical Logics into Classical Logic by Using Hidden Variables.

Juan Carlos Agudelo Agudelo

Logica Universalis, 2017

Polynomial ring calculus for modalities.

Juan Carlos Agudelo Agudelo, Walter Carnielli

J. Log. Comput., 2017

2016

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

2014

Restricted normal modal logics and levelled possible worlds semantics.

Juan Carlos Agudelo Agudelo, Manuel H. Sierra-Aristizábal

J. Log. Comput., 2014

2011

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

2010

Paraconsistent Machines and their Relation to Quantum Computing.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

J. Log. Comput., 2010

2009

Paraconsisted computation: a logic approach to quantum.

Juan Carlos Agudelo Agudelo

PhD thesis, 2009

2007

Unconventional Models of Computation Through Non-standard Logic Circuits.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

Proceedings of the Unconventional Computation, 6th International Conference, 2007

2005

Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005