184:
87:. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of
225:
17:
132:
31:
is a relation between formal theories that expresses the possibility of interpreting or translating one into the other.
48:
218:
137:
127:
244:
95:
249:
107:
211:
88:
111:
103:
24:
160:
195:
164:
115:
238:
156:
99:
149:
Japaridze, G., and De Jongh, D. (1998) "The logic of provability" in Buss, S., ed.,
183:
68:
80:
191:
199:
219:
8:
226:
212:
102:in 1953. Three other related concepts are
16:For the machine learning concept, see
7:
180:
178:
18:Interpretability (machine learning)
198:. You can help Knowledge (XXG) by
14:
182:
79:proves the translation of every
63:if and only if the language of
1:
133:Interpretation (model theory)
94:This concept, together with
67:can be translated into the
266:
177:
15:
153:. North-Holland: 476–546.
151:Handbook of Proof Theory
51:. Slightly simplified,
194:-related article is a
138:Interpretability logic
128:Interpretation (logic)
96:weak interpretability
169:Undecidable Theories
98:, was introduced by
75:in such a way that
35:Informal definition
104:cointerpretability
25:mathematical logic
207:
206:
161:Andrzej Mostowski
108:logical tolerance
257:
228:
221:
214:
186:
179:
171:. North-Holland.
165:Raphael Robinson
116:Giorgi Japaridze
114:, introduced by
29:interpretability
265:
264:
260:
259:
258:
256:
255:
254:
235:
234:
233:
232:
175:
146:
124:
49:formal theories
37:
21:
12:
11:
5:
263:
261:
253:
252:
247:
237:
236:
231:
230:
223:
216:
208:
205:
204:
187:
173:
172:
154:
145:
142:
141:
140:
135:
130:
123:
120:
55:is said to be
36:
33:
13:
10:
9:
6:
4:
3:
2:
262:
251:
248:
246:
243:
242:
240:
229:
224:
222:
217:
215:
210:
209:
203:
201:
197:
193:
188:
185:
181:
176:
170:
166:
162:
158:
157:Alfred Tarski
155:
152:
148:
147:
143:
139:
136:
134:
131:
129:
126:
125:
121:
119:
117:
113:
109:
105:
101:
100:Alfred Tarski
97:
92:
90:
86:
82:
78:
74:
70:
66:
62:
58:
57:interpretable
54:
50:
46:
42:
34:
32:
30:
26:
19:
245:Proof theory
200:expanding it
189:
174:
168:
150:
118:in 1992–93.
93:
84:
76:
72:
64:
60:
56:
52:
44:
40:
38:
28:
22:
250:Logic stubs
112:cotolerance
239:Categories
144:References
122:See also
89:formulas
69:language
167:(1953)
81:theorem
39:Assume
163:, and
110:, and
192:logic
190:This
196:stub
47:are
43:and
83:of
71:of
59:in
23:In
241::
159:,
106:,
91:.
27:,
227:e
220:t
213:v
202:.
85:T
77:S
73:S
65:T
61:S
53:T
45:S
41:T
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.