scientific article; zbMATH DE number 5864581

MaRDI QIDQ3080425zbMATH OpenFDO

Authors Grigorii Melnichenko

Publication date 10 March 2011

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Applications of functional analysis in quantum physics (46N50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Cones as a model of intuitionistic linear logic
• Conical logic and -groups logic
• scientific article; zbMATH DE number 1471993
• On congruence modularity in varieties of logic.
• Representation of concrete logics and concrete generalized orthomodular posets
• Note on extending congruential modal logics
• The geometry of non-distributive logics
• Modal logics of some geometrical structures
• scientific article; zbMATH DE number 4171722
• Non-finitely axiomatisable two-dimensional modal logics

Cited in

(2)

• Closed-Form Expressions for Projectors onto Polyhedral Sets in Hilbert Spaces
• The logic of bundles

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3080425)