Teorie institucionálních modelů - Institutional model theory
- Tato stránka pojednává o pojmu v matematické logice. Pro koncepty v sociologie viz Institucionální teorie a Institucionální logika.
v matematická logika, teorie institucionálních modelů zobecňuje velkou část první objednávka teorie modelů libovolně logický systém.
Přehled
Pojem „logický systém“ je zde formován jako instituce. Instituce představují meta teorii zaměřenou na modely na logických systémech podobnou teorii prsteny a moduly představují meta-teorii pro klasiku lineární algebra. Další analogii lze provést s univerzální algebra proti skupiny, prsteny, moduly atd. Abstrahováním od realit současné konvenční logiky si lze všimnout, že teorie institucí se ve skutečnosti blíží realitě nekonvenčních logik.
Teorie institucionálních modelů analyzuje a zobecňuje klasické teoreticko-teoretické pojmy a výsledky
- Základní diagramy
- Základní vložení
- Ultraprodukty, Losova věta
- Nasycené modely
- axiomatizovatelnost
- odrůdy, Birkhoff axiomatizovatelnost
- Craigova interpolace
- Robinsonská konzistence
- Beth definovatelnost
- Gödel je věta o úplnosti
Pro každý koncept a větu je infrastruktura a požadované vlastnosti analyzovány a formulovány jako podmínky pro instituce, což poskytuje podrobný pohled na to, na které vlastnosti logiky prvního řádu se spoléhají a do jaké míry je lze zobecnit na jiné logiky.
Reference
 | tento článek ne uvést žádný Zdroje. (Květen 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Další čtení
- Razvan Diaconescu: Teorie modelu nezávislá na institucích. Birkhäuser, 2008. ISBN 978-3-7643-8707-5.
- Razvan Diaconescu: Klenoty teorie modelu nezávislé na institucích. In: K. Futatsugi, J.-P. Jouannaud, J. Meseguer (eds.): Algebra, Meaning and Computation. Eseje věnované Joseph A. Goguen u příležitosti jeho 65. narozenin. Přednášky v informatice 4060, s. 65-98, Springer-Verlag, 2006.
- Marius Petria a Rãzvan Diaconescu: Abstrakt Definice Beth v institucích. Journal of Symbolic Logic 71 (3), str. 1002-1028, 2006.
- Daniel Gǎinǎ a Andrei Popescu: Institucionálně nezávislé zobecnění věty o základním řetězci Tarski, Journal of Logic and Computation 16 (6), s. 713-735, 2006.
- Dokud Mossakowski, Joseph Goguen „Rãzvan Diaconescu, Andrzej Tarlecki: Co je to logika?“ V Jean-Yves Beziau, editor, Logica Universalis, strany 113-133. Birkhauser, 2005.
- Andrzej Tarlecki: Kvazi-odrůdy v abstraktních algebraických institucích. Journal of Computer and System Sciences 33 (3), str. 333-360, 1986.
externí odkazy
- Seznam publikací Razvana Diaconesca - obsahuje nedávnou práci o teorii institucionálních modelů