On the Definition of Negation by a Fixed Proposition in Inferential Calculus.

Haskell B. Curry

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

Keyphrases

logic programs
deductive databases
logic programming
fixed number
algebraic structure
sequent calculus
data sets
genetic algorithm
fixed size
model theoretic
computer algebra
compositional semantics