A proof-theoretic metatheorem for tracial von Neumann algebras.
Liviu PaunescuAndrei SiposPublished in: Math. Log. Q. (2023)
Keyphrases
- von neumann
- proof theoretic
- nonmonotonic reasoning
- linear logic
- default reasoning
- proof theory
- constraint logic programming
- expected utility
- model theoretic
- fixpoint
- temporal reasoning
- logic programs
- logic programming
- robust optimization
- answer set programming
- machine learning
- utility function
- knowledge representation
- special case