A Shell for Generic Interactive Proof Search

DOI10.1080/11663081.1998.10510935MaRDI QIDQ4236062zbMATH OpenOpenAlexFDO

Authors Aleksey Novodvorsky

Publication date 1 March 2001

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510935

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites work

• A generic graphic framework for combining inference tools and editing proofs and formulae
• scientific article; zbMATH DE number 3907807 (Why is no real title available?)
• scientific article; zbMATH DE number 819502 (Why is no real title available?)
• scientific article; zbMATH DE number 3191281 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• The foundation of a generic theorem prover

Cited in

(1)

• Correspondence analysis and automated proof-searching for first degree entailment

Describes a project that uses

Uses Software

• Hyperproof
• Nuprl
• Coq
• GLEFatinf

This page was built for publication: A Shell for Generic Interactive Proof Search

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