The d-Logic of the Rational Numbers: A Fruitful Construction.

Joel Lucero-Bryan

Published in: Stud Logica (2011)

Keyphrases

decision making
logic programming
construction process
automated reasoning
multi valued
classical logic
proof theory
database
artificial intelligence
decision trees
database systems
defeasible logic
predicate logic