scientific article; zbMATH DE number 3871347

zbMATH Open0547.03037MaRDI QIDQ3338239FDOQ3338239

Authors: Dick H. J. de Jongh 

Publication date: 1982

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

intuitionistic logicprovabilityfirst-order arithmeticintuitionistic arithmeticarithmetical formulasformulas of one propositional variableNishimura's sequence of propositional formulas

Mathematics Subject Classification ID

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

Cited In (13)

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

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)