Infinitary Logic and Admissible Sets.

Published in: J. Symb. Log. (1969)

Keyphrases

truth values
state space
logic programming
modal logic
classical logic
neural network
inference rules
defeasible logic
database
website
search space
rough sets
logic programs
automated reasoning
multi valued
nonmonotonic logics