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 (7)

• Intuitionistic hypothetical logic of proofs
• First-order justification logic with constant domain semantics
• HOL Based First-Order Modal Logic Provers
• Possible world semantics for first-order logic of proofs
• Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}
• Refutational theorem proving for hierarchic first-order theories
• Hypothetical logic of proofs

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)