Meeting of the Association for Symbolic Logic.

E. J. Lemmon M. A. E. Dummett John N. Crossley

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

Keyphrases

classical logic
logic programming
multi valued
high level
symbolic representation
databases
information retrieval
social networks
multi party
computational properties
defeasible logic
nonmonotonic logics
predicate logic
deontic logic
linear logic