About Opposition and Duality in Paraconsistent Type Theory.

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

Published in: LSFA (2021)

Keyphrases

linear programming
theoretical framework
real time
theoretical foundation
real world
computer vision
information systems
logic programming
formal theory
neural network
multi agent
special case
computational models
theoretical basis