scientific article; zbMATH DE number 1998330

MaRDI QIDQ4432964zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 2003

zbMATH Keywords

algebraic specification logicscategorical abstract model theoryinstitutionsultraproducts

Mathematics Subject Classification ID

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

Recommendations

• Ultraproducts and possible worlds semantics in institutions
• Institution-independent model theory
• scientific article; zbMATH DE number 3916526
• Implicit Kripke semantics and ultraproducts in stratified institutions
• Institutions: abstract model theory for specification and programming

Cited in

(22)

• Birkhoff style calculi for hybrid logics
• What is a logic translation?
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• The institution-theoretic scope of logic theorems
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Foundations of logic programming in hybrid logics with user-defined sharing
• Ultraproducts and possible worlds semantics in institutions
• Stratified institutions and elementary homomorphisms
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• Constructor-based institutions
• Ultraproduct for quantum structures
• Preservation in many-valued truth institutions
• Structural induction in institutions
• Non-deterministic algebraic rewriting as adjunction
• Categorical abstract algebraic logic: (,N)-algebraic systems
• Remarks on classifications and adjunctions
• An institution-independent proof of the Robinson consistency theorem
• Graded consequence: an institution theoretic study
• A categorical study on the finiteness of specifications
• Saturated models in institutions
• An institution-independent proof of the Beth definability 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 Q4432964)