Concepedia

DEDUCTIVE SYSTEMS OF HILBERT ALGEBRAS

Mathematica japonica · 1996 · 27 citations · 0 references

Concepts

Natural SciencesComputer ScienceMathematicsAlgebraLogicPhilosophy Of MathematicsAbstract AlgebraAlgebraic StructuresDeductive SystemsHilbert Space FormalismLinear AlgebraModel TheoryFormal Proof SystemsHilbert Space RepresentationsHilbert Systems