scientific article; zbMATH DE number 1543346

zbMath0962.03026MaRDI QIDQ4520823

Joseph A. 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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

An institution-independent proof of the Robinson consistency theorem, A semantic approach to interpolation, The Foundational Legacy of ASL, On a generalized modularization theorem