Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w.
Itala M. Loffredo D'OttavianoMilton Augustinis De CastroPublished in: J. Appl. Non Class. Logics (2005)
Keyphrases
- modal logic
- inference rules
- logic programming
- classical first order logic
- decision procedures
- classical logic
- valued semantics
- sequent calculi
- truth values
- rule induction
- hierarchical structure
- inconsistent knowledge
- logic programs
- epistemic logic
- temporal logic
- subgroup discovery
- rule learning
- valued logic
- conditional logic
- default logic
- expressive power
- functional dependencies
- first order logic
- higher level
- genetic algorithm
- nonmonotonic logics
- theorem proving
- theorem prover
- programming language
- knowledge representation