5 found
Sort by:
Disambiguations:
Ofer Arieli [4]O. Arieli [1]
  1. Ofer Arieli (2012). Conflict-Tolerant Semantics for Argumentation Frameworks. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 28--40.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Ofer Arieli, Arnon Avron & Anna Zamansky (2011). Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Ofer Arieli (2003). Reasoning with Different Levels of Uncertainty. Journal of Applied Non-Classical Logics 13 (3-4):317-343.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Ofer Arieli & Arnon Avron (1996). Reasoning with Logical Bilattices. Journal of Logic, Language and Information 5 (1):25--63.
    The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation