On the independence of the Bigos-Kalmár axioms for sentential calculus.

Robert C. Flagg

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

axiomatic characterization
knowledge base
first order logic
computational properties
algebraic structure
databases
information systems
conditional independence
sentence level
independence assumption
provably correct
website
search algorithm
real numbers
proof procedure
computer algebra