A note on Grzegorczyk's logic.

Published in: Math. Log. Q. (2004)

Keyphrases

logic programming
classical logic
multi valued
database
neural network
sound and complete axiomatization
deontic logic
computational properties
modal logic
image processing
predicate logic
real world
asynchronous circuits
proof theory
logic synthesis
intuitionistic logic
databases