On the Rules of Substitution in the First-order Predicate Logics.
Beata BugajskaKazimiera DyrdaPublished in: Reports Math. Log. (1994)
Keyphrases
- horn clauses
- first order logic
- expressive power
- inference rules
- conditional logic
- rule sets
- logic rules
- association rules
- classical first order logic
- higher order
- logic programs
- propositional logic
- multi context systems
- theorem proving
- knowledge representation
- knowledge base
- association rule mining
- belief revision
- knowledge based systems
- theorem prover
- fixpoint
- nonmonotonic logics
- proof theoretic
- intuitionistic logic
- neural network