Quantum Implication Algebras

被引:0
|
作者
Norman D. Megill
Mladen Pavičić
机构
[1] Boston Information Group,Gradjevinski fakultet
[2] University of Zagreb,undefined
关键词
implication algebras; quantum implication algebras; semiorthomodular lattices; orthomodular lattices; orthomodular implication algebras; join semilattices;
D O I
暂无
中图分类号
学科分类号
摘要
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analyzed and put in perspective to each other and our results.
引用
收藏
页码:2807 / 2822
页数:15
相关论文
共 50 条
  • [11] Kleene algebras with implication
    José Luis Castiglioni
    Sergio Arturo Celani
    Hernán Javier San Martín
    Algebra universalis, 2017, 77 : 375 - 393
  • [12] Kleene algebras with implication
    Luis Castiglioni, Jose
    Arturo Celani, Sergio
    Javier San Martin, Hernan
    ALGEBRA UNIVERSALIS, 2017, 77 (04) : 375 - 393
  • [13] Endoprimal implication algebras
    Pitkethly, JG
    ALGEBRA UNIVERSALIS, 1999, 41 (03) : 201 - 211
  • [14] Implication Algebras and Implication Semigroups of Binary Relations
    Lewis-Smith, Andrew
    Semrl, Jas
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 194 - 207
  • [15] Topological representation for implication algebras
    Manuel Abad
    J. Patricio Díaz Varela
    Antoni Torrens
    algebra universalis, 2004, 52 : 39 - 48
  • [16] ORTHOMODULAR LATTICES AS IMPLICATION ALGEBRAS
    PIZIAK, R
    JOURNAL OF PHILOSOPHICAL LOGIC, 1974, 3 (04) : 413 - 418
  • [17] On implication in MV-algebras
    Jānis Cīrulis
    Algebra universalis, 2007, 56 : 237 - 239
  • [18] Topological representation for implication algebras
    Abad, M
    Varela, PD
    Torrens, A
    ALGEBRA UNIVERSALIS, 2004, 52 (01) : 39 - 48
  • [19] On implication in MV-algebras
    Cirulis, Janis
    ALGEBRA UNIVERSALIS, 2007, 56 (02) : 237 - 239
  • [20] ON FUZZY IMPLICATION IN DEMORGAN ALGEBRAS
    DINOLA, A
    VENTRE, AGS
    FUZZY SETS AND SYSTEMS, 1989, 33 (02) : 155 - 164