Pages that link to "Item:Q2560812"

The following pages link to Implication connectives in orthomodular lattices (Q2560812):

Displaying 22 items.

• Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups (Q723297) (← links)
• \(L\)-algebras in logic, algebra, geometry, and topology (Q781349) (← links)
• Material implications in lattice effect algebras (Q781950) (← links)
• Orthomodular lattices and quadratic spaces: A survey (Q1206738) (← links)
• The conditional in quantum logic (Q1239315) (← links)
• The structure group of a generalized orthomodular lattice (Q1708101) (← links)
• The \(L\)-algebra of Hurwitz primes (Q1753836) (← links)
• Logical connectives on lattice effect algebras (Q1935557) (← links)
• Natural deduction for quantum logic (Q2084572) (← links)
• Commutative \(L\)-algebras and measure theory (Q2121510) (← links)
• \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
• \(L\)-effect algebras (Q2193972) (← links)
• Degenerate involutive set-theoretic solutions to the Yang-Baxter equation (Q2240458) (← links)
• The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
• A theory of computation based on quantum logic. I (Q2575078) (← links)
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY (Q4600827) (← links)
• On the enumeration of finite 𝐿-algebras (Q5879122) (← links)
• <i>L</i>-algebras and topology (Q5879275) (← links)
• (Q6040926) (← links)
• Discrete quantum structures. II: Examples (Q6123803) (← links)
• Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)
• A natural deduction system for orthomodular logic (Q6638239) (← links)