scientific article; zbMATH DE number 1231697

MaRDI QIDQ4223028zbMATH OpenFDO

Authors Michael Franssen

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17004

zbMATH Keywords

pure type systemstableaux-based automatic proof construction

Mathematics Subject Classification ID

Recommendations

• Embedding first-order logic in a pure type system with parameters
• Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
• scientific article; zbMATH DE number 1292293
• A focused sequent calculus framework for proof search in pure type systems

Cited in

(3)

• Embedding first-order logic in a pure type system with parameters
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism

Describes a project that uses

Uses Software

• Automath

This page was built for publication:

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