Notions of Density That Imply Representability in Algebraic Logic.
Hajnal AndrékaSteven GivantSzabolcs MikulásIstván NémetiAndrás SimonPublished in: Ann. Pure Appl. Log. (1998)
Keyphrases
- computational properties
- computer algebra
- set theory
- multi valued
- algebraic structure
- model theoretic
- algebraic geometry
- density distribution
- neural network
- logic programs
- defeasible logic
- higher order
- boolean functions
- predicate logic
- mathematical theory
- data sets
- lattice theory
- artificial intelligence
- epistemic logic
- probability distribution
- classical logic
- linear algebra
- logic programming
- automated reasoning