Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics.
Itala M. Loffredo D'OttavianoMilton Augustinis De CastroPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- modal logic
- inference rules
- decision procedures
- logic programming
- classical first order logic
- classical logic
- valued semantics
- temporal logic
- sequent calculi
- truth values
- nonmonotonic logics
- default logic
- hierarchical structure
- valued logic
- epistemic logic
- neural network
- theorem proving
- higher level
- expressive power
- first order logic
- conditional logic
- programming language
- real time
- theorem prover
- functional dependencies
- lower level
- automated reasoning
- logical framework
- object oriented
- modal operators
- expert systems
- database systems
- learning algorithm