Sequential method in quantum logic (Q3877681): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Quantum logic and physical modalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatisation of quantum logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A study of Kripke-type models for some modal logics by Gentzen's sequential method / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Approach to Empirical Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the algebraic structure of quantum mechanics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5551052 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantic analysis of orthologic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum logic as an implication algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of quantum mechanics / rank
 
Normal rank

Latest revision as of 04:20, 13 June 2024

scientific article
Language Label Description Also known as
English
Sequential method in quantum logic
scientific article

    Statements

    Sequential method in quantum logic (English)
    0 references
    0 references
    1980
    0 references
    calculi of sequences
    0 references
    orthologic
    0 references
    proof-theoretic aspects
    0 references
    orthomodular logic
    0 references

    Identifiers