Order:
  1.  21
    Representing Quantum Structures as Near Semirings.Stefano Bonzio, Ivan Chajda & Antonio Ledda - 2016 - Logic Journal of the IGPL 24 (5).
  2.  1
    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  
  3.  18
    How to Produce S-Tense Operators on Lattice Effect Algebras.Ivan Chajda, Jiří Janda & Jan Paseka - 2014 - Foundations of Physics 44 (7):792-811.
    Tense operators in effect algebras play a key role for the representation of the dynamics of formally described physical systems. For this, it is important to know how to construct them on a given effect algebra \( E\) and how to compute all possible pairs of tense operators on \( E\) . However, we firstly need to derive a time frame which enables these constructions and computations. Hence, we usually apply a suitable set of states of the effect algebra \( (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    On the Structure Theory of Łukasiewicz Near Semirings.Ivan Chajda, Davide Fazio & Antonio Ledda - 2018 - Logic Journal of the IGPL 26 (1):14-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  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