Positive provability logic for uniform reflection principles.

Lev D. Beklemishev

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

positive and negative
logic programming
classical logic
multi valued
learning algorithm
sound and complete axiomatization
positive feedback
input image
logic programs
design principles
knowledge base
computational properties
formal language
artificial intelligence
dynamic logic
proof theory
database