Juan Carlos Agudelo Agudelo

13 papers C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.
J. Appl. Non Class. Logics
Juan Carlos Agudelo Agudelo
2022 J jnl
Type Theory with Opposite Types: A Paraconsistent Type Theory.
Log. J. IGPL
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
2021 — conf
About Opposition and Duality in Paraconsistent Type Theory.
LSFA
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
2019 J jnl
Polynomial semantics for modal logics.
J. Appl. Non Class. Logics
Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia
2017 J jnl
Polynomial ring calculus for modalities.
J. Log. Comput.
Juan Carlos Agudelo Agudelo, Walter Carnielli
2017 J jnl
Translating Non-classical Logics into Classical Logic by Using Hidden Variables.
Logica Universalis
Juan Carlos Agudelo Agudelo
2016 J jnl
On polynomial semantics for propositional logics.
J. Appl. Non Class. Logics
Juan Carlos Agudelo Agudelo, Carlos A. Agudelo-González, Oscar E. García-Quintero
2014 J jnl
Restricted normal modal logics and levelled possible worlds semantics.
J. Log. Comput.
Juan Carlos Agudelo Agudelo, Manuel H. Sierra-Aristizábal
2011 J jnl
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities.
Rev. Symb. Log.
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2010 J jnl
Paraconsistent Machines and their Relation to Quantum Computing.
J. Log. Comput.
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2009 — —
Paraconsisted computation: a logic approach to quantum.
Juan Carlos Agudelo Agudelo
2007 C conf
Unconventional Models of Computation Through Non-standard Logic Circuits.
UC
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2005 — conf
Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.
IICAI
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli