LEADER 03043nam  2200649Ia 450 
001 9910782098603321
005 20200520144314.0
010   $a1-281-86259-2
010   $a9786611862596
010   $a3-7643-8708-4
024 7 $a10.1007/978-3-7643-8708-2
035   $a(CKB)1000000000492013
035   $a(EBL)364464
035   $a(OCoLC)288440391
035   $a(SSID)ssj0000180082
035   $a(PQKBManifestationID)11177436
035   $a(PQKBTitleCode)TC0000180082
035   $a(PQKBWorkID)10149169
035   $a(PQKB)11379634
035   $a(DE-He213)978-3-7643-8708-2
035   $a(MiAaPQ)EBC364464
035   $a(Au-PeEL)EBL364464
035   $a(CaPaEBR)ebr10245877
035   $a(CaONFJC)MIL186259
035   $a(PPN)128126477
035   $a(EXLCZ)991000000000492013
100   $a20081006d2008      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aInstitution-independent model theory$b[electronic resource] /$fRa?zvan Diaconescu
205   $a1st ed. 2008.
210   $aBasel ;$aBoston $cBirkha?user$dc2008
215   $a1 online resource (386 p.)
225 1 $aStudies in universal logic
300   $aDescription based upon print version of record.
311   $a3-7643-8707-6 
320   $aIncludes bibliographical references and index.
327   $aCategories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.
330   $aA model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
410  0$aStudies in universal logic.
606   $aModel theory
606   $aLogic, Symbolic and mathematical
615  0$aModel theory.
615  0$aLogic, Symbolic and mathematical.
676   $a511.3
676   $a511.34
700   $aDiaconescu$b Ra?zvan$01469292
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910782098603321
996   $aInstitution-independent model theory$93680729
997   $aUNINA