scientific article; zbMATH DE number 2209442
From MaRDI portal
Publication:5692429
zbMath1080.03037MaRDI QIDQ5692429
Publication date: 28 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicprovability interpretationproof polynomialsprovability semanticsLogic of Proofsmodal \(\lambda\)-calculussimple \(\lambda\)-calculus
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Combinatory logic and lambda calculus (03B40)
Related Items
J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ Justification logic and type theory as formalizations of intuitionistic propositional logic ⋮ Labeled sequent calculus for justification logics ⋮ Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete ⋮ Justification logic as a foundation for certifying mobile computation ⋮ Typing in reflective combinatory logic ⋮ An analytic calculus for the intuitionistic logic of proofs