The following pages link to Propositional superposition logic (Q5384364):
Displaying 6 items.
- Propositional lax logic (Q1368378) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- Algebraic semantics for propositional superposition logic (Q4994023) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900653) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)