Tense logic based on finite orthomodular posets

HIGHLIGHTS

  • who: Ivan Chajda from the Faculty of Science, Department of Algebra and Geometry, Palackyu0301 University Olomouc, listopadu, , Olomouc, Czech Republic have published the research: Tense Logic Based on Finite Orthomodular Posets, in the Journal: (JOURNAL)
  • what: The authors investigate the behaviour of these operators e_g the authors show that some of them form a Moreover the authors prove that if the operators preserve one of the connectives or as defined by the authors recently in another paper then they also preserve the other one. The authors show how to construct the binary relation of preference . . .

     

    Logo ScioWire Beta black

    If you want to have access to all the content you need to log in!

    Thanks :)

    If you don't have an account, you can create one here.

     

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?