Machine Deduction

DOI10.1007/3-540-58085-9_83MaRDI QIDQ6083700zbMATH OpenFDO

Authors Christophe Raffalli

Publication date 8 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58085-9_83

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 417877
• scientific article; zbMATH DE number 4776
• scientific article; zbMATH DE number 4033057
• scientific article; zbMATH DE number 417880
• scientific article; zbMATH DE number 1040355
• scientific article; zbMATH DE number 1040354
• Automated deduction by theory resolution
• scientific article; zbMATH DE number 4155933
• Computational reflection via mechanized logical deduction
• scientific article; zbMATH DE number 726582

Cites work

• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Classical logic, storage operators and second-order lambda-calculus
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Recursive programming with proofs
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The system \({\mathcal F}\) of variable types, fifteen years later
• Typing and computational properties of lambda expressions

This page was built for publication: Machine Deduction

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