Formal Logic Definitions for Interchange Languages

DOI10.1007/978-3-319-20615-8_11zbMath1417.68206OpenAlexW2233510847MaRDI QIDQ3453113

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

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

Related Items (1)

A new export of the Mizar mathematical library

Uses Software

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

Cites Work

• Unnamed Item
• A scalable module system
• Structured theory presentations and logic representations
• Isabelle. A generic theorem prover
• 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
• The TPTP Typed First-Order Form with Arithmetic
• Extending MKM Formats at the Statement Level
• THF0 – The Core of the TPTP Language for Higher-Order Logic
• A framework for defining logics
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• Flexary Operators for Formalized Mathematics

This page was built for publication: Formal Logic Definitions for Interchange Languages