A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty.
Beata KonikowskaPublished in: J. Appl. Non Class. Logics (2005)
Keyphrases
- classical logic
- intuitionistic logic
- possibility theory
- computer algebra
- probability theory
- deductive reasoning
- uncertain data
- automated theorem proving
- logic programming
- inference rules
- modal logic
- database
- integrity checking
- proof procedure
- proof search
- possibilistic logic
- belief functions
- sound and complete with respect
- probabilistic logic
- computational properties
- multi valued
- automated reasoning
- valued logic
- inherent uncertainty
- inconsistent knowledge
- sound and complete axiomatization
- proof theory
- linear logic
- predicate logic
- defeasible logic
- uncertain information
- logical framework
- deductive databases
- integrity constraints
- expressive power
- data sets