Deductive systems in unital quantum-B algebras (Q6073790): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.36045/j.bbms.210912 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.36045/J.BBMS.210912 / rank
 
Normal rank

Latest revision as of 18:11, 30 December 2024

scientific article; zbMATH DE number 7739235
Language Label Description Also known as
English
Deductive systems in unital quantum-B algebras
scientific article; zbMATH DE number 7739235

    Statements

    Deductive systems in unital quantum-B algebras (English)
    0 references
    18 September 2023
    0 references
    closed deductive system
    0 references
    commutative deductive system
    0 references
    deductive system
    0 references
    filter
    0 references
    quantum-B algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references