Uniqueness, definability and interpolation

DOI10.2307/2274524zbMath0651.03026OpenAlexW4232602917MaRDI QIDQ3795662

Peter Schroeder-Heister, Kosta Došen

Publication date: 1988

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

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

zbMATH Keywords

interpolationconsequence relationdefinabilitystructural rules

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Proof theory and constructive mathematics (03F99)

Related Items

Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS