The (Future) Logics and Languages

Extended Typed First-order form (TFX)

• Tuples
• Conditional expressions
• Let expressions
• Boolean terms

Non-Classical Logics

• Extending TFX and THF
• New language components
• New tools
• Addition to TPTP and TSTP libraries
• Come to the TPTP Tea Party

Multi-valued Logics

• Three and more truth values
• New tools
• Addition to TPTP and TSTP libraries