On the Asymptotic Density of Tautologies in Logic of Implication and Negation.
Marek ZaioncPublished in: Reports Math. Log. (2005)
Keyphrases
- logic programming
- horn clauses
- predicate logic
- logic programs
- truth values
- declarative semantics
- closed world assumptions
- classical logic
- deductive databases
- functional dependencies
- low density
- fixed point semantics
- first order logic
- fixpoint
- expected values
- logical implication
- derivation rules
- multi valued
- knowledge representation and reasoning
- programming language
- inference rules
- proof theory
- closed world assumption
- laplace transform