The first-order hypothetical logic of proofs

DOI10.1093/LOGCOM/EXV090zbMath1404.03019OpenAlexW2590965506WikidataQ113818623 ScholiaQ113818623MaRDI QIDQ3133155

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 deductionlambda calculusCurry-Howard isomorphismfirst-order logic of proofs

Mathematics Subject Classification ID

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

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