FFI2014-53919-P
Financiado
Presupuesto del proyecto
18K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Software
Mathematics Logic Computer Science Artificial Intelligence
Mathematics Logic Computer Science Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#bivalent semantics
#ternary relational semantics
#Kleene strong trivalued matrix
#implicative expansions
#modus ponens
#truth-preserving relation
#first degree entailment logic
#relevance logics
Lider