On the Logic of Acceptance and Rejection.

Anna Gomolinska

Published in: Stud Logica (1998)

Keyphrases

logic programming
classical logic
modal logic
multi valued
database
real time
data mining
formal language
predicate logic
deductive reasoning
probability theory
logical framework
linear logic
proof theory