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