Pages that link to "Item:Q1749807"
From MaRDI portal
The following pages link to Proof theory of paraconsistent quantum logic (Q1749807):
Displaying 14 items.
- Proof theory for minimal quantum logic. II (Q1340318) (← links)
- Paraconsistent ideas in quantum logic (Q1840966) (← links)
- Proof theory for minimal quantum logic: A remark (Q1894594) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← 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)
- Partial quantum logics revisited (Q3086368) (← links)
- Paraconsistent Machines and their Relation to Quantum Computing (Q3553921) (← links)
- (Q4888321) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
- Some properties for first-order Nelsonian paraconsistent quantum logic (Q5869680) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
