On the interpolation theorem for the logic of constant domains

DOI10.2307/2273260zbMath0469.03015OpenAlexW2015302311MaRDI QIDQ3922651

No author found.

Publication date: 1981

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

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

zbMATH Keywords

extension of the intuitionistic predicate calculus

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (2)

A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ A note on sequent calculi intermediate between LJ and LK

Cites Work

• Craig interpolation theorem for intuitionistic logic and extensions Part III

This page was built for publication: On the interpolation theorem for the logic of constant domains