Cites work
Cited in
(only showing first 100 items - show all)- Bets and boundaries: Assigning probabilities to imprecisely specified events
- Modalities and quantum mechanics
- Quantum logics and Lindenbaum property
- Minimal quantum logic with merged implications
- An axiom system for orthomodular quantum logic
- Bibliography on quantum logics and related structures
- Strong versus weak quantum consequence operations
- Quantum logic and physical modalities
- Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics
- Fuzzy intuitionistic quantum logics
- Empirical logics
- Proof theory for minimal quantum logic. I
- Extended quantum logic
- Paraconsistency everywhere
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Correspondence between Kripke frames and projective geometries
- The possibility of vagueness
- On the modal logic of the non-orthogonality relation between quantum states
- There is more to negation than modality
- Proof theory of paraconsistent quantum logic
- Quantum number theory
- The logics of orthoalgebras
- Computational complexity for bounded distributive lattices with negation
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Learning with cone-based geometric models and orthologics
- A general relational semantics of propositional logic: axiomatization
- Disjunction and negation in information based semantics
- Choice-free duality for orthocomplemented lattices by means of spectral spaces
- On the universality of atomic and molecular logics via protologics
- Translation from three-valued quantum logic to modal logic
- Algorithmic correspondence and canonicity for non-distributive logics
- Valuations: bi, tri, and tetra
- Negation on the Australian plan
- On A neglected path to intuitionism
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- A logical study of group-size based social network creation
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach
- Three roads to complete lattices: orders, compatibility, polarity
- Absolute contradiction, dialetheism, and revenge
- The distributivity on bi-approximation semantics
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Comparing contents with information
- On split negation, strong negation, information, falsification, and verification
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- A solution of the uniform word problem for ortholattices
- Autoreferential semantics for many-valued modal logics
- Orthomodularity is not elementary
- The dynamic turn in quantum logic
- Sequential method in quantum logic
- Quantum-like logics and schizophrenia
- Prior's OIC nonconservativity example revisited
- First-order frames for orthomodular quantum logic
- Mixed algebras and their logics
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Logical consequence and the paradoxes
- FDE: a logic of clutters
- A Sahlqvist theorem for substructural logic
- Duality for the logic of quantum actions
- St. Alasdair on Lattices Everywhere
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
- Classical logic and quantum logic with multiple and common lattice models
- Modal translation of substructural logics
- On Metalogical Relativism
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
- Basis logic for application in physics and its intuitionistic alternative
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Partial and unsharp quantum logics.
- Quantum logic as a dynamic logic
- LK, LJ, dual intuitionistic logic, and quantum logic
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility
- Quantum logic, Hilbert space, revision theory
- Conceptual orthospaces -- convexity meets negation
- An alternative propositional calculus for application to empirical sciences
- Topological duality for orthomodular lattices
- Probability logics for reasoning about quantum observations
- Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
- An axiomatization of quantum computational Logic
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Quantum entanglement: an analysis via the orthogonality relation
- Positive modal logic beyond distributivity
- Why classical logic is privileged: justification of logics based on translatability
- Quantum states: an analysis via the orthogonality relation
- Choice-free topological duality for implicative lattices and Heyting algebras
- Cover systems for the modalities of linear logic
- Grishin algebras and cover systems for classical bilinear logic
- Algebraic proof theory for LE-logics
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- The orthologic of epistemic modals
- A natural deduction system for orthomodular logic
- Polynomial-time checking of generalized Sahlqvist syntactic shape
- Axiomatization of an orthologic of indeterminacy
- Preparation and test in physics
- A new axiomatization of unified quantum logic
- Functional monadic ortholattices and locally finite -free polyadic ortholattices
- Unified inverse correspondence for LE-logics
- Choice-free dualities for lattice expansions: application to logics with a negation operator
This page was built for publication: Semantic analysis of orthologic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1394336)
