Generic literals

DOI10.1007/978-3-319-20615-8_7MaRDI QIDQ3453109zbMATH OpenOpenAlexFDO

Authors Florian Rabe

Publication date 20 November 2015

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-20615-8_7

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• The MMT API: a generic MKM system
• A scalable module system
• How to identify, translate and combine logics?
• A Modular Type Reconstruction Algorithm
• MMTTeX: connecting content and narration-oriented document formats

Cites work

• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• A framework for defining logics
• A scalable module system
• A universal machine for biform theory graphs
• An overview of a formal framework for managing mathematics
• Biform Theories in Chiron
• Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
• Hints in Unification
• How to identify, translate and combine logics?
• Term Rewriting with Logical Constraints
• The MMT API: a generic MKM system
• The TPTP typed first-order form with arithmetic
• The formalization of syntax-based mathematical algorithms using quotation and evaluation

Cited in

(8)

• The future of logic: foundation-independence
• A scalable module system
• Generic composition
• Mathematical models as research data via flexiformal theory graphs
• scientific article; zbMATH DE number 2100544 (Why is no real title available?)
• Incorporating quotation and evaluation into Church's type theory
• Making PVS accessible to generic services by interpretation in a universal format
• The MMT API: a generic MKM system

Describes a project that uses

Uses Software

• QMT
• MMT
• Twelf
• HOL Light
• Mizar

This page was built for publication: Generic literals

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