Revisiting the conservativity of fixpoints over intuitionistic arithmetic.
Mattias Granberg OlssonGraham E. LeighPublished in: Arch. Math. Log. (2024)
Keyphrases
- fuzzy set theory
- linear logic
- logic programs
- interval valued
- deductive databases
- fixpoint
- nonmonotonic reasoning
- theorem prover
- fuzzy numbers
- classical logic
- arithmetic operations
- fuzzy logic
- multiresolution
- partial order
- evolutionary algorithm
- database
- multi agent
- floating point
- bayesian networks
- partially ordered
- machine learning
- logical framework
- real world
- neural network