Switch to: References

Add citations

You must login to add citations.
  1. Interactive Proof-Search for Equational Reasoning.Favio E. Miranda-Perea, Lourdes del Carmen González Huesca & P. Selene Linares-Arévalo - forthcoming - Logic Journal of the IGPL.
    Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Automated Natural Deduction in Thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
    Although resolution-based inference is perhaps the industry standard in automated theorem proving, there have always been systems that employed a different format. For example, the Logic Theorist of 1957 produced proofs by using an axiomatic system, and the proofs it generated would be considered legitimate axiomatic proofs; Wang’s systems of the late 1950’s employed a Gentzen-sequent proof strategy; Beth’s systems written about the same time employed his semantic tableaux method; and Prawitz’s systems of again about the same time are often (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Automated Proof-Searching for Strong Kleene Logic and its Binary Extensions Via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • 1999 Spring Meeting of the Association for Symbolic Logic.Charles Parsons - 1999 - Bulletin of Symbolic Logic 5 (4):479-484.
  • Automated Search for Gödel’s Proofs.Wilfried Sieg & Clinton Field - 2005 - Annals of Pure and Applied Logic 133 (1):319-338.
    Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark