The following pages link to Semantic analysis of orthologic (Q1394336):
Displaying 50 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- Quantum-like logics and schizophrenia (Q420845) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Basis logic for application in physics and its intuitionistic alternative (Q535640) (← links)
- Partial and unsharp quantum logics. (Q541832) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- An alternative propositional calculus for application to empirical sciences (Q609651) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- What is quantum logic? (Q793727) (← links)
- Languages of similarity (Q793728) (← links)
- Some properties of orthologics (Q813075) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- Bets and boundaries: Assigning probabilities to imprecisely specified events (Q1005969) (← links)
- Modalities and quantum mechanics (Q1059630) (← links)
- Quantum logics and Lindenbaum property (Q1096629) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Quantum logic and physical modalities (Q1242901) (← links)
- Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics (Q1245209) (← links)
- Fuzzy intuitionistic quantum logics (Q1313085) (← links)
- Empirical logics (Q1325652) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Extended quantum logic (Q1411360) (← links)
- Paraconsistency everywhere (Q1430900) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
- The possibility of vagueness (Q1708881) (← links)
- On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
- There is more to negation than modality (Q1749806) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Quantum number theory (Q1770337) (← links)
- The logics of orthoalgebras (Q1896751) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Learning with cone-based geometric models and orthologics (Q2107485) (← links)
- A general relational semantics of propositional logic: axiomatization (Q2148780) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Translation from three-valued quantum logic to modal logic (Q2241025) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
