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

DOI10.1016/J.IC.2012.01.002MaRDI QIDQ418158zbMATHOpenAlexFDO

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)