Login / Signup

Type Theory with Opposite Types: A Paraconsistent Type Theory.

Juan Carlos Agudelo AgudeloAndrés Sicard-Ramírez
Published in: Log. J. IGPL (2022)
Keyphrases
  • theoretical framework
  • theoretical basis
  • real time
  • neural network
  • special case
  • database
  • machine learning
  • decision trees
  • high level
  • search algorithm
  • positive and negative
  • theoretical foundation