Morphism equality in theory graphs

DOI10.1007/978-3-031-42753-4_12MaRDI QIDQ6118829zbMATH OpenOpenAlexFDO

Authors Florian Rabe, Franziska Weber

Publication date 28 February 2024

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

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

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Recommendations

• Structuring theories with implicit morphisms
• Morphism axioms
• Discourse-level parallel markup and meaning adoption in flexiformal theory graphs
• Automatically finding theory morphisms for knowledge management
• Formalizing mathematical knowledge as a biform theory graph: a case study

Cites work

• A framework for defining logics
• A scalable module system
• Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
• scientific article; zbMATH DE number 1617292 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• IMPS: An interactive mathematical proof system
• Realms: a structure for consolidating knowledge about mathematical theories

Cited in

(1)

• Lightweight realms

This page was built for publication: Morphism equality in theory graphs

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