heyting

related words
subobject
distributivity
intuitionistic
sublattices
imprimitivity
orthomodularity
ortholattice
bratteli
quasifree
atomistic
presheaves
greechie
posets
axiomatics
functors
herbut
localizable
randall
fibration
monoid
related documents
Contextual logic for quantum systems [0702023v1]
related topics
{observables, space, algebra}
{error, code, errors}
{time, systems, information}
{vol, operators, histories}
{field, particle, equation}
{phase, path, phys}
{classical, space, random}
{group, space, representation}
{theory, mechanics, state}
{bell, inequality, local}
{state, algorithm, problem}
{energy, gaussian, time}
{cavity, atom, atoms}
{temperature, thermal, energy}
{trap, ion, state}
{state, phys, rev}
{spin, pulse, spins}
{force, casimir, field}
{key, protocol, security}
{alice, bob, state}