A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic.
Pablo CaballeroPablo ValenciaPublished in: J. Philos. Log. (2024)
Keyphrases
- quantum mechanics
- modal logic
- proof procedure
- automated reasoning
- human decision making
- logic programming
- theorem proving
- formal language
- quantum probability
- natural deduction
- decision theory
- first order logic
- sequent calculus
- particle swarm optimisation
- predicate calculus
- temporal logic
- cooperative
- data mining
- cut elimination
- sequent calculi
- neural network