Order:
  1.  21
    Representing Quantum Structures as Near Semirings.Stefano Bonzio, Ivan Chajda & Antonio Ledda - 2016 - Logic Journal of the IGPL 24 (5).
  2.  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  
  3.  5
    The Logic of Orthomodular Posets of Finite Height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  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  
  5.  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