Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Carlos CaleiroJoão MarcosMarco VolpePublished in: Theor. Comput. Sci. (2015)
Keyphrases
- valued logic
- classical logic
- propositional logic
- modal logic
- automated reasoning
- fuzzy logic
- fuzzy sets
- first order logic
- truth values
- logic programs
- multi valued
- stable models
- logic programming
- decision procedures
- datalog programs
- probabilistic reasoning
- belief revision
- theorem proving
- inference rules
- functional dependencies
- programming language
- pattern recognition
- decision making
- databases
- knowledge representation
- image sequences
- database systems