scientific article; zbMATH DE number 3907807

MaRDI QIDQ3685233zbMATH OpenFDO

Authors Andrzej Trybulec, Howard A. Blair

Publication date 1985

zbMATH Keywords

inference checkingmathematical argumentMIZARvalidity of arguments

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4009856
• scientific article; zbMATH DE number 1342253
• The Logical Structure of Computer-Aided Mathematical Reasoning
• Mathematical knowledge management in MIZAR
• An example of formalizing recent mathematical results in MIZAR

Cited in

(13)

• Tractable reasoning in artificial intelligence
• Crystal: Integrating structured queries into a tactic language
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 4009856 (Why is no real title available?)
• scientific article; zbMATH DE number 44975 (Why is no real title available?)
• A Shell for Generic Interactive Proof Search
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• The Logical Structure of Computer-Aided Mathematical Reasoning
• Proof auditing formalised mathematics
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Proof tactics for a theory of state machines in a graphical environment
• A Mizar mode for HOL
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Mizar

This page was built for publication:

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