scientific article
From MaRDI portal
Publication:3982061
zbMath0742.08005MaRDI QIDQ3982061
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
signaturequasivarietyultraproductmany-sorted algebramodule algebrafirst-order formulaInterpolation Theoremequational implicationexport distribution axiomLifting Lemma
Classical first-order logic (03B10) Quasivarieties (08C15) Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20)
Related Items (3)
The institution-theoretic scope of logic theorems ⋮ A semantic approach to interpolation ⋮ Interpolation in computing science: The semantics of modularization
This page was built for publication:
