The first-order hypothetical logic of proofs

DOI10.1093/LOGCOM/EXV090MaRDI QIDQ3133155zbMATH OpenOpenAlexWikidataFDO

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

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)

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

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)