Boolean negation and non-conservativity III: the Ackermann constant.

Tore Fjetland Øgaard

Published in: Log. J. IGPL (2021)

Keyphrases

logic programs
logic programming
real valued
boolean functions
artificial intelligence
deductive databases
learning algorithm
special case
first order logic
multi valued