Pages that link to "Item:Q4527908"
From MaRDI portal
The following pages link to Basic logic: reflection, symmetry, visibility (Q4527908):
Displaying 27 items.
- Characterization of quantum states in predicative logic (Q429954) (← links)
- Quantum states as virtual singletons: converting duality into symmetry (Q472718) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Interpreting quantum parallelism by sequents (Q616844) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Anything goes (Q1708461) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- The uncertainty relation for quantum propositions (Q1945640) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Meta-entanglement (Q2300860) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- From SU(2) gauge theory to qubits on the fuzzy sphere (Q2443974) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
- THEORETICAL SETTING OF INNER REVERSIBLE QUANTUM MEASUREMENTS (Q3430107) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- A novel approach to equality (Q6142508) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
