A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
Caballero, Pablo ; Valencia, Pablo
Journal of philosophical logic, 2024-02, Vol.53 (1), p.223-245
[Periódico revisado por pares]
Dordrecht: Springer Netherlands
Texto completo disponível