The first-order hypothetical logic of proofs

DOI10.1093/LOGCOM/EXV090zbMATH Open1404.03019OpenAlexW2590965506WikidataQ113818623 ScholiaQ113818623MaRDI QIDQ3133155FDOQ3133155

Authors: Gabriela Steren, Eduardo Bonelli 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/42132

Recommendations

• Hypothetical logic of proofs
• Intuitionistic hypothetical logic of proofs
• The basic intuitionistic logic of proofs
• scientific article; zbMATH DE number 1735872
• The logic of proofs, semantically

zbMATH Keywords

natural deductionCurry-Howard isomorphismlambda calculusfirst-order logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited In (2)

• HOL Based First-Order Modal Logic Provers
• Refutational theorem proving for hierarchic first-order theories

This page was built for publication: The first-order hypothetical logic of proofs

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