scientific article; zbMATH DE number 5033834

zbMath1100.03020MaRDI QIDQ5472873

Tomasz Borzyszkowski

Publication date: 19 June 2006

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

zbMATH Keywords

algebraic specificationsCraig interpolation propertyinstitutionmany-sorted first-order logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Related Items (4)

An axiomatic approach to structuring specifications ⋮ The institution-theoretic scope of logic theorems ⋮ A semantic approach to interpolation ⋮ The Foundational Legacy of ASL

This page was built for publication: