scientific article

zbMath0764.03021MaRDI QIDQ4035302

Samuel R. Buss

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessKripke structuressoundnessintuitionistic fragments of bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items

Polynomial induction and length minimization in intuitionistic bounded arithmetic ⋮ Preservation theorems for bounded formulas ⋮ On the structure of kripke models of heyting arithmetic ⋮ Intuitionistic validity in \(T\)-normal Kripke structures ⋮ Functional interpretations of feasibly constructive arithmetic ⋮ Proof Complexity of Non-classical Logics