Formal logic definitions for interchange languages

DOI10.1007/978-3-319-20615-8_11MaRDI QIDQ3453113zbMATH OpenOpenAlexFDO

Authors Fulya Horozal, 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_11

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• A survey of languages for formalizing mathematics
• Project abstract: logic atlas and integrator (LATIN)
• Hybrid Systems: Computation and Control
• Formalising foundations of mathematics
• How to identify, translate and combine logics?

Cites work

• A framework for defining logics
• A scalable module system
• Extending MKM formats at the statement level
• Flexary operators for formalized mathematics
• Isabelle. A generic theorem prover
• Logical frameworks
• Structured theory presentations and logic representations
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• THF0 – The Core of the TPTP Language for Higher-Order Logic
• The MMT API: a generic MKM system
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• The TPTP typed first-order form with arithmetic

Cited in

(2)

• A new export of the Mizar mathematical library
• Project abstract: logic atlas and integrator (LATIN)

Describes a project that uses

Uses Software

• MathML
• LATIN
• FOOL
• OMDoc
• QMT
• MMT
• Twelf
• HOL
• TPTP
• THF0
• Isabelle

This page was built for publication: Formal logic definitions for interchange languages

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