The following pages link to Semantic analysis of orthologic (Q1394336):
Displaying 40 items.
- Negation on the Australian plan (Q2295602) (← links)
- On A neglected path to intuitionism (Q2339011) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach (Q2506098) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE (Q2940871) (← links)
- Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations (Q3299867) (← links)
- Comparing Contents with Information (Q3305425) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (Q3395329) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- Orthomodularity is not elementary (Q3722500) (← links)
- Sequential method in quantum logic (Q3877681) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- First-order frames for orthomodular quantum logic (Q4586154) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- FDE: A Logic of Clutters (Q4912990) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- On Metalogical Relativism (Q5258985) (← links)
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS (Q5323795) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility (Q5957421) (← links)
- Quantum logic, Hilbert space, revision theory (Q5958493) (← links)
- Conceptual orthospaces -- convexity meets negation (Q6066848) (← links)
- Topological duality for orthomodular lattices (Q6096727) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Quantum entanglement: an analysis via the orthogonality relation (Q6168885) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)
- Quantum states: an analysis via the orthogonality relation (Q6180173) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
