Pages that link to "Item:Q5869680"
From MaRDI portal
The following pages link to Some properties for first-order Nelsonian paraconsistent quantum logic (Q5869680):
Displaying 4 items.
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)