Interpolation via translations

DOI10.1002/malq.200810013zbMath1178.03043OpenAlexW2165923166MaRDI QIDQ3184216

Walter Alexandre Carnielli, Cristina Sernadas, João Rasga

Publication date: 14 October 2009

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810013

zbMATH Keywords

Craig interpolationnegative translationKiriyama-Ono translationMaehara interpolationpreservation of interpolation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Related Items (2)

Interpolation in extensions of first-order logic ⋮ Craig interpolation in the presence of unreliable connectives

Cites Work

• The contraction rule and decision problems for logics without structural rules
• Transfers between logics and their applications
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Sufficient conditions for cut elimination with complexity analysis
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Fibring: completeness preservation
• Interpolation in fragments of classical linear logic
• Modulated fibring and the collapsing problem
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Synthesized substructural logics
• Preservation of Interpolation Features by Fibring
• Intuitionistische Untersuchungen der formalistischen Logik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation via translations