Axiomatization and completeness of uncountably valued approximation logic.
Helena RasiowaPublished in: Stud Logica (1994)
Keyphrases
- multi valued
- modal logic
- logic programming
- lower bound
- proof theory
- closed form
- data model
- integrity constraints
- error bounds
- deontic logic
- classical logic
- temporal logic
- sound and complete axiomatization
- complete axiomatization
- valued logic
- set theory
- situation calculus
- approximation algorithms
- databases
- logic programs
- multi agent systems
- objective function
- neural network