On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.
Àngel J. GilPublished in: Stud Logica (2013)
Keyphrases
- valued logic
- truth values
- classical logic
- horn clauses
- first order logic
- propositional logic
- fuzzy logic
- fuzzy sets
- multi valued
- logic programs
- inference rules
- fixpoint
- datalog programs
- automated reasoning
- sequent calculus
- belief revision
- stable models
- vector field
- programming language
- knowledge representation
- expert systems
- decision making