Enhancement of Mizar Texts with Transitivity Property of Predicates

DOI10.1007/978-3-319-42547-4_12zbMath1344.68206OpenAlexW2482065577MaRDI QIDQ2817301

Artur Korniłowicz

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42547-4_12

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Presentation and manipulation of Mizar properties in an Isabelle object logic ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• Flexary connectives in Mizar
• On rewriting rules in Mizar
• Mizar: State-of-the-art and Beyond
• Licensing the Mizar Mathematical Library
• Mathematical Knowledge Management
• Revisions as an Essential Tool to Maintain Mathematical Repositories