scientific article
From MaRDI portal
Publication:3338239
zbMath0547.03037MaRDI QIDQ3338239
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
provabilityintuitionistic logicfirst-order arithmeticintuitionistic arithmeticarithmetical formulasformulas of one propositional variableNishimura's sequence of propositional formulas
Related Items (7)
Lindenbaum algebras of intuitionistic theories and free categories ⋮ Revisiting the conservativity of fixpoints over intuitionistic arithmetic ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Explicating logical independence ⋮ Proof theory for admissible rules ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication:
