Metalinear structures and the substructural logic of quantum measurements.
Daniel LehmannPublished in: CoRR (2022)
Keyphrases
- propositional calculus
- quantum computation
- modal logic
- logic circuits
- data sets
- logic synthesis
- proof theory
- deontic logic
- image structure
- automated reasoning
- relational structures
- complex structures
- formal theory
- multi valued
- programming language
- knowledge representation
- relational databases
- multi agent
- case study
- information retrieval
- neural network