Complete axiomatizations for quantum actions (Q861649)

From MaRDI portal





scientific article; zbMATH DE number 5119667
Language Label Description Also known as
English
Complete axiomatizations for quantum actions
scientific article; zbMATH DE number 5119667

    Statements

    Complete axiomatizations for quantum actions (English)
    0 references
    29 January 2007
    0 references
    dynamic quantum logic
    0 references
    quantum frames
    0 references
    quantum dynamic algebra
    0 references
    quantum transition systems
    0 references
    quantales
    0 references
    Piron lattices
    0 references
    0 references
    0 references

    Identifiers