Zobrazeno 1 - 10
of 117
pro vyhledávání: '"Agudelo Agudelo"'
Publikováno v:
Revista Juridicas. jul-dic2024, Vol. 20 Issue 2, p7-14. 8p.
Publikováno v:
EPTCS 357, 2022, pp. 25-37
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor
Externí odkaz:
http://arxiv.org/abs/2204.03882
Autor:
Pantoja-Gomez, Oscar Camilo, Agudelo-Agudelo, Juanita, Duenas-Mesa, Elida, Proaños, Juliana, Escamilla-Gil, Maria Isabel, Suarez, Miguel Ricardo, Nino, Gustavo, Giraldo, Luis Fernando
Publikováno v:
In Sleep Medicine July 2024 119:584-588
Publikováno v:
Jurídicas, Vol 20, Iss 2 (2023)
Externí odkaz:
https://doaj.org/article/7bf47d35a53344e78997b2feb1202ca1
Autor:
ALBERTO AGUDELO-AGUDELO, CARLOS1 carlos.agudelo@ucaldas.edu.co
Publikováno v:
Revista Juridicas. ene-jun2022, Vol. 19 Issue 1, p7-15. 9p.
Autor:
Agudelo-Agudelo, Juan C1 (AUTHOR) juan.agudelo9@udea.edu.co, Sicard-Ramírez, Andrés2 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Oct2022, Vol. 30 Issue 5, p777-806. 30p.
Autor:
Agudelo-Agudelo, Juan C.
Publikováno v:
Journal of Applied Non-Classical Logics; Mar2024, Vol. 34 Issue 1, p31-54, 24p
Autor:
AGUDELO AGUDELO, CARLOS ALBERTO1,2 carlos.agudelo@ucaldas.edu.co
Publikováno v:
Revista Juridicas. ene-jun2021, Vol. 18 Issue 1, p17-35. 19p.
Autor:
AGUDELO AGUDELO, CARLOS ALBERTO1,2 carlos.agudelo@ucaldas.edu.co
Publikováno v:
Revista Juridicas. ene-jun2021, Vol. 18 Issue 1, p7-14. 8p.