Switch to: References

Add citations

You must login to add citations.
  1. Simplified forms of computerized reasoning with distance semantics.Ofer Arieli & Anna Zamansky - 2011 - Journal of Applied Logic 9 (1):1-22.
    Download  
     
    Export citation  
     
    Bookmark  
  • Distance-based non-deterministic semantics for reasoning with uncertainty.Ofer Arieli & Anna Zamansky - 2009 - Logic Journal of the IGPL 17 (4):325-350.
    Non-deterministic matrices, a natural generalization of many-valued matrices, are semantic structures in which the value assigned to a complex formula may be chosen non-deterministically from a given set of options. We show that by combining non-deterministic matrices and distance-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. These logics are a conservative extension of those that are obtained by standard distance-based semantics, and so usual distance-based methods are easily simulated within our framework. We investigate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations