A Note on Natural Extensions in Abstract Algebraic Logic.
Petr CintulaCarles NogueraPublished in: Stud Logica (2015)
Keyphrases
- knowledge representation formalisms
- algebraic operators
- propositional dynamic logic
- data sets
- higher level
- mathematical theory
- real world
- modal logic
- computer algebra
- algebraic structure
- defeasible logic
- classical logic
- truth maintenance systems
- multi valued
- automated reasoning
- computational properties
- nonmonotonic logics
- probabilistic logic
- asynchronous circuits
- man made
- higher order
- genetic algorithm
- neural network