scientific article; zbMATH DE number 1114340
From MaRDI portal
Publication:4376057
zbMath0888.03008MaRDI QIDQ4376057
Publication date: 1 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityprovability logiccut-eliminationarithmetical completenessaxiomatic description for functional proof predicates
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)
Related Items (4)
Referential logic of proofs ⋮ The single-conclusion proof logic and inference rules specification ⋮ Logic of proofs and provability ⋮ Symmetric Logic of Proofs
This page was built for publication:
