Institution-independent Model Theory

Răzvan Diaconescu; Vladimir Vasyukov; Peter SchrÃ¶der-Heister; Darko Sarenac; Grzegorz Malinowski; Larissa Maksimova; Jui-Lin Lee; Arnold Koslow; Andreas Herzig; Josep Maria Font; RÄzvan Diaconescu; Mark Burgin; Jean-Yves BÃ©ziau; Hajnal AndrÃ©ka

doi:https://doi.org/10.1007/978-3-7643-8708-2

Institution-independent Model Theory

Răzvan Diaconescu, Vladimir Vasyukov, Peter SchrÃ¶der-Heister, Darko Sarenac, Grzegorz Malinowski, Larissa Maksimova, Jui-Lin Lee, Arnold Koslow, Andreas Herzig, Josep Maria Font, RÄzvan Diaconescu, Mark Burgin, Jean-Yves BÃ©ziau, Hajnal AndrÃ©ka · Birkhäuser Basel eBooks · 2008

A 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 pr

Read the paper · More papers on PaperTik