Weak interpretability
In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953. Let T and S be formal theories.
In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953. Let T and S be formal theories.
In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953. Let T and S be formal theories.
Source: Wikipedia "Weak interpretability" · CC BY-SA 4.0
Share this article: X · Bluesky