Pages that link to "Item:Q1749807"
From MaRDI portal
The following pages link to Proof theory of paraconsistent quantum logic (Q1749807):
Displaying 5 items.
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
