Notes towards a semantics for proof-search

MaRDI QIDQ2703721zbMATH OpenFDO

Authors David Pym

Publication date 7 May 2001

zbMATH Keywords

algorithmic proof-search

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2095713
• scientific article; zbMATH DE number 1390270
• Proof search in lax logic
• scientific article; zbMATH DE number 1088028
• Proof finding algorithms for implicational logics

Cited in

(6)

• ProofWatch: watchlist guidance for large theories in E
• Proof search on bilateralist judgments over non-deterministic semantics
• scientific article; zbMATH DE number 1088028 (Why is no real title available?)
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)
• scientific article; zbMATH DE number 834572 (Why is no real title available?)
• A content semantics for quantified relevant logics. II

This page was built for publication: Notes towards a semantics for proof-search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703721)