Graded tableaux for Rational Pavelka Logic.
Luigi Di LascioAntonio GisolfiPublished in: Int. J. Intell. Syst. (2005)
Keyphrases
- modal logic
- alternating time temporal logic
- sequent calculi
- automated reasoning
- classical logic
- logic programming
- decision procedures
- proof procedure
- temporal logic
- database systems
- proof theory
- predicate logic
- databases
- probability theory
- decision making
- theorem proving
- multi valued
- situation calculus
- inference rules
- nonmonotonic logics
- genetic algorithm
- asynchronous circuits
- functional dependencies
- natural deduction
- classical first order logic
- information retrieval
- sound and complete axiomatization
- neural network