Propositional and predicate calculuses based on combinatory logic.
Martin W. BunderPublished in: Notre Dame J. Formal Log. (1974)
Keyphrases
- horn clauses
- first order logic
- sound and complete axiomatization
- multi valued
- propositional logic
- predicate calculus
- probabilistic logic
- classical first order logic
- proof procedure
- classical logic
- general logic programs
- autoepistemic logic
- deductive reasoning
- default logic
- logic programs
- truth maintenance systems
- logical framework
- propositional variables
- theorem prover
- theorem proving
- logic programming
- relational databases
- nonmonotonic logics
- model theoretic
- predicate logic
- propositional theories
- coalition logic
- logic programs with negation
- relational structures
- defeasible logic
- datalog programs
- computational properties
- automated reasoning
- nonmonotonic reasoning
- modal logic
- inductive logic programming
- expressive power