scientific article; zbMATH DE number 1998330
From MaRDI portal
Publication:4432964
zbMATH Open1036.03055MaRDI QIDQ4432964FDOQ4432964
Authors: Răzvan Diaconescu 
Publication date: 2003
Title of this publication is not available (Why is that?)
Recommendations
Logic in computer science (03B70) Abstract model theory (03C95) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)
Cited In (21)
- The institution-theoretic scope of logic theorems
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Herbrand theorems in arbitrary institutions
- Structural induction in institutions
- A categorical study on the finiteness of specifications
- Ultraproduct for quantum structures
- Remarks on classifications and adjunctions
- An institution-independent proof of the Robinson consistency theorem
- Stratified institutions and elementary homomorphisms
- Constructor-based institutions
- Graded consequence: an institution theoretic study
- Institution-independent model theory
- Preservation in many-valued truth institutions
- Birkhoff style calculi for hybrid logics
- What is a logic translation?
- Saturated models in institutions
- An institution-independent proof of the Beth definability theorem
- Ultraproducts and possible worlds semantics in institutions
- Foundations of logic programming in hybrid logics with user-defined sharing
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
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)
