On the logic that preserves degrees of truth associated to involutive Stone algebras.
Liliana M. CantúMartín FigalloPublished in: Log. J. IGPL (2020)
Keyphrases
- truth values
- relation algebra
- boolean algebra
- classical logic
- modal logic
- defeasible logic
- multi valued
- neural network
- digital circuits
- set theory
- logic programming
- automated reasoning
- probabilistic logic
- spatial reasoning
- computational properties
- expressive power
- deontic logic
- database
- fixpoint
- logical framework
- inference rules
- partial order
- predicate logic
- lower order
- case study