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
Computer Science Mathematics Artificial Intelligence Logic
Computer Science Mathematics Artificial Intelligence Logic
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#bivalent semantics
#ternary relational semantics
#Kleene strong trivalued matrix
#implicative expansion
#modus ponens
#truth-preserving relation
#first degree entailment logic
#relevance logics
Lider