A second paper “On the interpolation theorem for the logic of constant domains”

DOI10.2307/2273451zbMath0547.03022OpenAlexW2093458254MaRDI QIDQ3338223

No author found.

Publication date: 1983

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

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

zbMATH Keywords

extension of the intuitionistic predicate calculus

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (3)

On the role of implication in formal logic ⋮ A note on sequent calculi intermediate between LJ and LK ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE

Cites Work

• Craig interpolation theorem for intuitionistic logic and extensions Part III

This page was built for publication: A second paper “On the interpolation theorem for the logic of constant domains”