1.  36
    Dov Gabbay, Rolf Nossum & John Woods (2006). Context-Dependent Abduction and Relevance. Journal of Philosophical Logic 35 (1):65 - 81.
    Based on the premise that what is relevant, consistent, or true may change from context to context, a formal framework of relevance and context is proposed in which • contexts are mathematical entities • each context has its own language with relevant implication • the languages of distinct contexts are connected by embeddings • inter-context deduction is supported by bridge rules • databases are sets of formulae tagged with deductive histories and the contexts they belong to • abduction and revision (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2. Dov Gabbay, Rolf Nossum & John Woods (2006). Context-Dependent Abduction and Relevance. Journal of Philosophical Logic 35 (1):65-81.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Rolf Nossum (2002). Propositional Logic for Ground Semigroups of Context. Logic Journal of the Igpl 10 (3):273-297.
    A propositional framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from.The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of interpretations of the formula language. The corresponding Hilbert system incorporates the algebraic equations as (...)
    Direct download  
     
    Export citation  
     
    My bibliography