Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics.
Ana Claudia de Jesus GolzioPublished in: Bull. Symb. Log. (2022)
Keyphrases
- linear algebra
- algebraic structure
- formal semantics
- proof theoretic
- logical framework
- proof theory
- general theory
- logic programming
- singular value decomposition
- formal theory
- computer algebra
- black box
- data sets
- set theoretic
- computational model
- algebraic geometry
- neural network
- theoretical basis
- theoretical framework
- relaxation algorithm