scientific article; zbMATH DE number 2196612
From MaRDI portal
Publication:5311059
zbMath1080.03028MaRDI QIDQ5311059
Andrzej Tarlecki, Till Mossakowski, Răzvan Diaconescu, Joseph A. Goguen
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Abstract model theory (03C95)
Related Items (11)
Ultraproducts and possible worlds semantics in institutions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ An axiomatic approach to structuring specifications ⋮ Representing model theory in a type-theoretical logical framework ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ A categorical study on the finiteness of specifications ⋮ System Consequence ⋮ Saturated models in institutions ⋮ A semantic approach to interpolation
This page was built for publication:
