Slabá interpretovatelnost - Weak interpretability
v matematická logika, slabá interpretovatelnost je pojem překladu logických teorií, představený společně s interpretovatelnost podle Alfred Tarski v roce 1953.
Nechat T a S být formální teorie. Mírně zjednodušeno, T se říká, že je slabě interpretovatelný v S pokud, a pouze pokud, jazyk T lze přeložit do jazyka S takovým způsobem, že překlad všech teorém z T je v souladu s S. Samozřejmě zde existují určité přirozené podmínky přípustných překladů, například nutnost překladu zachovat logickou strukturu vzorce.
Zobecnění slabé interpretovatelnosti, tolerance, byl představen Giorgi Japaridze v roce 1992.
Viz také
Reference
- Tarski, Alfred (1953), Nerozhodnutelné teorie„Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland Publishing Company, PAN 0058532. Napsáno ve spolupráci s Andrzej Mostowski a Raphael M. Robinson.
- Dzhaparidze, Giorgie (1993), „Zobecněný pojem slabé interpretovatelnosti a odpovídající modální logiky“, Annals of Pure and Applied Logic, 61 (1–2): 113–160, doi:10.1016 / 0168-0072 (93) 90201-N, PAN 1218658.
- Dzhaparidze, Giorgie (1992), „Logika lineární tolerance“, Studia Logica, 51 (2): 249–277, doi:10.1007 / BF00370116, PAN 1185914
- Japaridze, Giorgi; de Jongh, Dicku (1998), "Logika prokazatelnosti", v Buss, Samuel R. (vyd.), Příručka teorie důkazů, Stud. Logika nalezena. Matematika., 137, Amsterdam: Severní Holandsko, s. 475–546, doi:10.1016 / S0049-237X (98) 80022-0, PAN 1640331