The decidability of dependency in intuitionistic propositional logic

DOI10.2307/2275844zbMath0836.03010OpenAlexW1985481550MaRDI QIDQ4842626

L.A.Chagrova, Dick H. J. de Jongh

Publication date: 2 May 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275844

zbMATH Keywords

decidabilityintuitionistic logicdependency of formulasuniform interpolation theorem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

CLASSICALLY ARCHETYPAL RULES ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ A simple logic of functional dependence ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Explicating logical independence

Cites Work

• On an interpretation of second order quantification in first order intuitionistic propositional logic