Juan Carlos Agudelo Agudelo

Orcid: 0000-0002-7178-5672

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.
J. Appl. Non Class. Logics, January, 2024

2022
Type Theory with Opposite Types: A Paraconsistent Type Theory.
Log. J. IGPL, 2022

2021
About Opposition and Duality in Paraconsistent Type Theory.
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

2019
Polynomial semantics for modal logics.
J. Appl. Non Class. Logics, 2019

2017
Translating Non-classical Logics into Classical Logic by Using Hidden Variables.
Logica Universalis, 2017

Polynomial ring calculus for modalities.
J. Log. Comput., 2017

2016
On polynomial semantics for propositional logics.
J. Appl. Non Class. Logics, 2016

2014
Restricted normal modal logics and levelled possible worlds semantics.
J. Log. Comput., 2014

2011
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities.
Rev. Symb. Log., 2011

2010
Paraconsistent Machines and their Relation to Quantum Computing.
J. Log. Comput., 2010

2009
Paraconsisted computation: a logic approach to quantum.
PhD thesis, 2009

2007
Unconventional Models of Computation Through Non-standard Logic Circuits.
Proceedings of the Unconventional Computation, 6th International Conference, 2007

2005
Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005


  Loading...