The interpolation theorem in fragments of logics
- 1 January 1981
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 84 (1) , 71-86
- https://doi.org/10.1016/1385-7258(81)90019-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Der Interpolationssatz der intuitionistischen PrädikatenlogikMathematische Annalen, 1962
- On formulas of one variable in intuitionistic propositional calculusThe Journal of Symbolic Logic, 1960