scientific article; zbMATH DE number 1543346

MaRDI QIDQ4520823zbMATH OpenFDO

Authors Joseph Goguen, Grigore Roşu

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_6_1/on_equational_craig_interpolation

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 4010501
• Constructing Craig interpolation formulas
• scientific article; zbMATH DE number 4050312
• scientific article; zbMATH DE number 3954886
• scientific article; zbMATH DE number 2090854
• Craig interpolation in the presence of non-linear constraints
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
• A simple algebraic proof of the equational interpolation theorem
• Craig interpolation via hypersequents
• Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations

Cited in

(6)

• A semantic approach to interpolation
• On a generalized modularization theorem
• The foundational legacy of ASL
• (Heterogeneous) structured specifications in logics without interpolation
• On the fragility of interpolation
• An institution-independent proof of the Robinson consistency theorem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520823)