scientific article; zbMATH DE number 3907807

MaRDI QIDQ3685233zbMATH OpenFDO

Authors Andrzej Trybulec, Howard A. Blair

Publication date 1985

zbMATH Keywords

MIZARmathematical argumentinference checkingvalidity 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)

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

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)