Meaningless Sets in Infinitary Combinatory Logic.

Paula Severi Fer-Jan de Vries

Published in: RTA (2012)

Keyphrases

real world
database
neural network
logic programming
multi valued
set theory
predicate logic
artificial intelligence
search algorithm
automated reasoning
classical logic
computational properties
nonmonotonic logics
epistemic logic