scientific article; zbMATH DE number 1998330

zbMath1036.03055MaRDI QIDQ4432964

Răzvan Diaconescu

Publication date: 2003

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

zbMATH Keywords

institutionsultraproductscategorical abstract model theoryalgebraic specification logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items (19)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Constructor-Based Institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Stratified institutions and elementary homomorphisms ⋮ Herbrand theorems in arbitrary institutions ⋮ Remarks on classifications and adjunctions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Birkhoff style calculi for hybrid logics ⋮ What is a logic translation? ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ The institution-theoretic scope of logic theorems ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ A categorical study on the finiteness of specifications ⋮ Structural induction in institutions ⋮ Saturated models in institutions ⋮ An institution-independent proof of the Beth definability theorem ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

This page was built for publication: