Order:
  1.  2
    Algebraic Properties of Paraorthomodular Posets.Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda & Jan Paseka - forthcoming - Logic Journal of the IGPL.
    Paraorthomodular posets are bounded partially ordered sets with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic inquiry into paraorthomodular posets theory both from algebraic and order-theoretic perspectives. On the one hand, we show that paraorthomodular posets are amenable of an algebraic treatment by means of a smooth representation in terms of bounded directoids with antitone involution. On the other, we investigate their order-theoretical features (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  5
    The Logic of Orthomodular Posets of Finite Height.Ivan Chajda & Helmut Länger - forthcoming - Logic Journal of the IGPL.
    Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. A central question is how to introduce implication in such a logic. We give a positive answer whenever the orthomodular poset in question is of finite height. The crucial advantage of our solution is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implication, corresponds to the original orthomodular poset and that its implication operator is everywhere defined. We present here (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  92
    Bell-Type Inequalities in Horizontal Sums of Boolean Algebras.Anatolij Dvurečenskij & Helmut Länger - 1994 - Foundations of Physics 24 (8):1195-1202.
    We give a necessary and sufficient condition for a Bell-type inequality to hold in a horizontal sum of finitely many finite Boolean algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark