Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms

DOI10.1016/J.IC.2012.01.002MaRDI QIDQ418158zbMATH OpenOpenAlexFDO

Authors Dominic P. Mulligan, Murdoch J. Gabbay

Publication date 24 May 2012

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2012.01.002

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Publication:4890395
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems
• A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics
• Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices

Cited in

(1)

• Correction to: ``A formalization of the Smith normal form in higher-order logic

This page was built for publication: Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms

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