scientific article; zbMATH DE number 3871347

MaRDI QIDQ3338239zbMATH OpenFDO

Authors Dick H. J. de Jongh

Publication date 1982

zbMATH Keywords

arithmetical formulasfirst-order arithmeticformulas of one propositional variableintuitionistic arithmeticintuitionistic logicNishimura's sequence of propositional formulasprovability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On formulas of one variable in intuitionistic propositional calculus
• Extendible formulas in two variables in intuitionistic logic
• Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models

Cited in

(13)

• Proof theory for admissible rules
• Lindenbaum algebras of intuitionistic theories and free categories
• One-variable logic meets Presburger arithmetic
• Explicating logical independence
• On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
• On formulas of one variable in intuitionistic propositional calculus
• Extendible formulas in two variables in intuitionistic logic
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• From arithmetic expressions to propositional formulae
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Revisiting the conservativity of fixpoints over intuitionistic arithmetic
• Notes on my scientific life
• Deciding dependence in logic and algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3338239)