Switch to: Citations

Add references

You must login to add references.
  1. Semantic Entailment and Formal Derivability.Evert Willem Beth - 1955 - Noord-Hollandsche.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • First order abduction via tableau and sequent calculi.Marta Cialdea Mayer & Fiora Pirri - 1993 - Logic Journal of the IGPL 1 (1):99-117.
    he formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic concepts, such as preference criteria for explanations, and the extension to first order logic has not been settled.Investigating the nature of abduction outside the context of resolution based logic programming still deserves attention, in order to characterize abductive explanations without tailoring them to any fixed method of computation. In fact, resolution is surely not the best tool for facing meta-logical (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
    In advanced books and courses on logic (e.g. Sm], BM]) Gentzen-type systems or their dual, tableaux, are described as techniques for showing validity of formulae which are more practical than the usual Hilbert-type formalisms. People who have learnt these methods often wonder why the Automated Reasoning community seems to ignore them and prefers instead the resolution method. Some of the classical books on AD (such as CL], Lo]) do not mention these methods at all. Others (such as Ro]) do, but (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations