Łukasiewicz Operations in Fuzzy Set and Many-Valued Representations of Quantum Logics

被引:0
|
作者
Jarosław Pykacz
机构
[1] Uniwersytet Gdański,Instytut Matematyki
来源
Foundations of Physics | 2000年 / 30卷
关键词
Probability Measure; Binary Operation; Quantum Logic; Fuzzy Subset; Orthomodular Lattice;
D O I
暂无
中图分类号
学科分类号
摘要
It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered.
引用
收藏
页码:1503 / 1524
页数:21
相关论文
共 50 条
  • [41] SAT and SMT Technology for Many-Valued Logics
    Ansotegui, Carlos
    Bofill, Miquel
    Manya, Felip
    Villaret, Mateu
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2015, 24 (1-4) : 151 - 172
  • [42] Ultraproducts of Z with an application to many-valued logics
    Brasó, JGI
    Mundici, D
    Torrell, AT
    JOURNAL OF ALGEBRA, 1999, 219 (01) : 214 - 233
  • [43] Expressivity of Many-Valued Modal Logics, Coalgebraically
    Bilkova, Marta
    Dostal, Matej
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 109 - 124
  • [44] AN AXIOMATISATION OF THE CONDITIONALS OF POSTS MANY-VALUED LOGICS
    SURMA, SJ
    MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (03) : 369 - 372
  • [45] PROVABILITY ALGORITHMS FOR CLASSICAL MANY-VALUED LOGICS
    WILLIAMSON, J
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 445 - 445
  • [46] Dialogue Games for Many-Valued Logics — an Overview
    C. G. Fermüller
    Studia Logica, 2008, 90 (1) : 43 - 68
  • [47] Finitely many-valued logics and natural deduction
    Englander, Cecilia
    Haeusler, Edward Hermann
    Pereira, Luiz Carlos
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 333 - 354
  • [48] Some algebraic structures for many-valued logics
    Cattaneo, G
    Dalla Chiara, ML
    Giuntini, R
    TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, VOL 15, 1998: QUANTUM STRUCTURES II, 1998, : 173 - 195
  • [49] MULTLOG - A SYSTEM FOR AXIOMATIZING MANY-VALUED LOGICS
    BAAZ, M
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 345 - 347
  • [50] Neighborhood semantics for modal many-valued logics
    Cintula, Petr
    Noguera, Carles
    FUZZY SETS AND SYSTEMS, 2018, 345 : 99 - 112