Geometry of Robinson consistency in Lukasiewicz logic.
Manuela BusanicheDaniele MundiciPublished in: Ann. Pure Appl. Log. (2007)
Keyphrases
- modal logic
- truth values
- classical logic
- three dimensional
- inference rules
- multi valued
- logic programming
- geometric constraints
- genetic algorithm
- path consistency
- neural network
- epistemic logic
- modal operators
- global consistency
- formal theory
- maintaining consistency
- nonmonotonic logics
- set theory
- defeasible logic
- logical framework
- geometric information
- temporal logic
- bayesian networks
- information systems