Tabular Logics with no Finite Bases for Inference Rules.
Vladimir V. RybakovPublished in: Log. J. IGPL (2004)
Keyphrases
- inference rules
- modal logic
- first order logic
- theorem prover
- proof procedures
- theorem proving
- truth values
- logical framework
- logic programming language
- horn clauses
- epistemic logic
- expressive power
- conditional probabilities
- data sets
- binary relations
- default logic
- temporal logic
- linear logic
- sequent calculus
- set of inference rules