Semantic analysis of orthologic
From MaRDI portal
Publication:1394336
DOI10.1007/BF00652069zbMath0278.02023OpenAlexW1989314289MaRDI QIDQ1394336
Publication date: 1974
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00652069
Related Items (93)
Empirical logics ⋮ Proof theory for minimal quantum logic. I ⋮ The distributivity on bi-approximation semantics ⋮ Quantum logics and Lindenbaum property ⋮ Orthomodularity is not elementary ⋮ The logics of orthoalgebras ⋮ A general relational semantics of propositional logic: axiomatization ⋮ Disjunction and negation in information based semantics ⋮ Minimal quantum logic with merged implications ⋮ Complete axiomatizations for quantum actions ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS ⋮ On the universality of atomic and molecular logics via protologics ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ The dynamic turn in quantum logic ⋮ An alternative propositional calculus for application to empirical sciences ⋮ Prior’s OIC nonconservativity example revisited ⋮ First-order frames for orthomodular quantum logic ⋮ Mixed algebras and their logics ⋮ Conceptual orthospaces -- convexity meets negation ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Topological duality for orthomodular lattices ⋮ A logical study of group-size based social network creation ⋮ 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-like logics and schizophrenia ⋮ 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 ⋮ 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 ⋮ Extended quantum logic ⋮ Correspondence between Kripke frames and projective geometries ⋮ The possibility of vagueness ⋮ An axiom system for orthomodular quantum logic ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Paraconsistency everywhere ⋮ Logical consequence and the paradoxes ⋮ Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations ⋮ Bibliography on quantum logics and related structures ⋮ Duality for the logic of quantum actions ⋮ 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 ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Translation from three-valued quantum logic to modal logic ⋮ Strong versus weak quantum consequence operations ⋮ There is more to negation than modality ⋮ Proof theory of paraconsistent quantum logic ⋮ A new axiomatization of unified quantum logic ⋮ FDE: A Logic of Clutters ⋮ Basis logic for application in physics and its intuitionistic alternative ⋮ Partial and unsharp quantum logics. ⋮ Quantum logic as a dynamic logic ⋮ A solution of the uniform word problem for ortholattices ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Quantum number theory ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Valuations: bi, tri, and tetra ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility ⋮ Quantum logic, Hilbert space, revision theory ⋮ Quantum logic and physical modalities ⋮ Computational complexity for bounded distributive lattices with negation ⋮ Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics ⋮ Sequential method in quantum logic ⋮ Bets and boundaries: Assigning probabilities to imprecisely specified events ⋮ Negation on the Australian plan ⋮ Modal translation of substructural logics ⋮ CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION ⋮ Autoreferential semantics for many-valued modal logics ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ What is quantum logic? ⋮ Languages of similarity ⋮ On A neglected path to intuitionism ⋮ Modalities and quantum mechanics ⋮ On Metalogical Relativism ⋮ Fuzzy intuitionistic quantum logics ⋮ Learning with cone-based geometric models and orthologics ⋮ Some properties of orthologics ⋮ 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
Cites Work
This page was built for publication: Semantic analysis of orthologic
