A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q114012123, #quickstatements; #temporary_batch_1719441204927
Property / Wikidata QID
 
Property / Wikidata QID: Q114012123 / rank
 
Normal rank

Revision as of 23:43, 26 June 2024

scientific article; zbMATH DE number 7786932
Language Label Description Also known as
English
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
scientific article; zbMATH DE number 7786932

    Statements

    A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 January 2024
    0 references
    orthomodular lattice
    0 references
    quantum logic
    0 references
    Gentzen system
    0 references
    substructural logic
    0 references
    left residuated \(\ell \)-groupoid
    0 references

    Identifiers