Some properties for first-order Nelsonian paraconsistent quantum logic
From MaRDI portal
Recommendations
- Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
- Proof theory of paraconsistent quantum logic
- Nelson's paraconsistent logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- The class of extensions of Nelson's paraconsistent logic
Cited in
(4)- Proof theory of paraconsistent quantum logic
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
This page was built for publication: Some properties for first-order Nelsonian paraconsistent quantum logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869680)
