New Sets of Postulates for Combinatory Logics.

J. Barkley Rosser

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

Keyphrases

expressive power
desirable properties
inference rules
logical properties
modal logic
set theoretic
databases
genetic algorithm
belief revision
minimal change
belief update
definite clause