Nuprl-Light: An implementation framework for higher-order logics

DOI10.1007/3-540-63104-6_37MaRDI QIDQ5234721zbMATH OpenOpenAlexFDO

Authors Jason Hickey

Publication date 1 October 2019

Published in Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63104-6_37

Mathematics Subject Classification ID

Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• A framework for defining logics
• scientific article; zbMATH DE number 4180818 (Why is no real title available?)
• Isabelle. A generic theorem prover
• Logic and Computation

Cited in

(1)

• Nuprl-Light

Describes a project that uses

Uses Software

• Isabelle
• Nuprl
• Cambridge LCF

This page was built for publication: Nuprl-Light: An implementation framework for higher-order logics

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