Formal logic definitions for interchange languages

DOI10.1007/978-3-319-20615-8_11zbMATH Open1417.68206OpenAlexW2233510847MaRDI QIDQ3453113FDOQ3453113

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

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?

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

Uses Software

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

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)