84:
74:
53:
22:
325:
I tried cleaning up the sections. Everything that are referenced in the article are under references, everything else are under further reading (including the sources that were under external links before). (The difference between references and further reading is fairly arbitrary as most things are
358:
I do think of SEP as a different kind of source than a book. Even though SEP articles are written by well respected authors, I think of these articles as a different type of work, somehow. But the more concrete reason to separate them is that readers may realize that "external links" will take them
162:
I really don't see how combinatory logic has the expressive power of set theory. I rather feel like it has the expressive power of finite arithmetic. I haven't thought much about how the article's claim can be interpreted, but perhaps the author meant some other kind of combinatory logic, not the
303:
Much of the "further reading" is actually referenced in the article, and should be listed under a different section title. There are
Harvard references to Parkinson, Loemker, Brady, Lenzen, and Zalta in the article text. So those are not just "extra" further reading; they are cited in the article.
251:
19th century relation algebra ended with
Schroeder, but the topic was revived by Tarski in 1941 with his axioms for the algebra of binary relations, with very strong subsequent development. This is summarized in the thousand-page two-volume treatise 'Relation Algebras' by Steven Givant: vol. 1,
252:
Introduction to
Relation Algebras, vol. 2, Advanced Topics in Relation Algebras, both Springer 2017. The Introduction to vol. 1 includes 'A Brief History' p. xiv-xxi, describing Tarski as consciously setting out "to revitalize and modernize the subject."
335:
I don't see why one should distinguish between online and offline sources. Distinguishing peer reviewed and non-peer reviewed sources is meaningful, but a book is not necessarily "more" peer reviewed than a SEP article afaik(?).
359:
directly to other online resources. It is true they could discover this from things listed in the references, but putting things into external links makes the online nature more clear at first glance. — Carl
140:
298:
I think it is possible to distinguish between traditional sources, such as published books and papers, compared to online-only resources such as the
Stanford Encyclopedia.
182:
I removed this from the history section, but did not want it to be gone completely. I thought it could be added to a sources section, but wasn't sure where.
395:
130:
390:
106:
253:
164:
189:, see Brady (2000) and Grattan-Guinness (2000) and their ample references. For postwar history, see Maddux (1991) and Quine (1976).
97:
58:
283:
revert. The link was listed under
Further reading not References, and there are already other SEP links in that section. --
33:
226:
21:
257:
168:
200:
216:
241:
39:
83:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
230:
89:
73:
52:
337:
284:
220:
212:
237:
208:
384:
366:
341:
311:
288:
204:
186:
102:
326:
simply referensed by saying that more information is in this or this source...)
79:
362:
307:
274:
371:
345:
316:
292:
261:
245:
172:
15:
280:
163:
s/b/c/k/i system of combinators in lambda calculus.--
101:, a collaborative effort to improve the coverage of
8:
219:, and taking definitive form in the work of
19:
185:For the history of algebraic logic before
47:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
396:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
391:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
372:17:05, 16 September 2016 (UTC)
346:15:52, 16 September 2016 (UTC)
317:11:25, 16 September 2016 (UTC)
293:05:27, 16 September 2016 (UTC)
262:23:03, 28 September 2024 (UTC)
1:
246:20:38, 14 February 2012 (UTC)
109:and see a list of open tasks.
173:06:00, 22 October 2009 (UTC)
229:, a branch of contemporary
195:has at least two meanings:
412:
134:
67:
46:
227:Abstract algebraic logic
141:project's priority scale
98:WikiProject Mathematics
217:Charles Sanders Peirce
28:This article is rated
279:I suggest reverting
121:mathematics articles
231:mathematical logic
158:Combinatory logic?
90:Mathematics portal
34:content assessment
370:
315:
213:Augustus DeMorgan
155:
154:
151:
150:
147:
146:
403:
360:
305:
278:
209:relation algebra
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
411:
410:
406:
405:
404:
402:
401:
400:
381:
380:
272:
270:
201:Boolean algebra
193:Algebraic logic
180:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
409:
407:
399:
398:
393:
383:
382:
379:
378:
377:
376:
375:
374:
351:
350:
349:
348:
330:
329:
328:
327:
320:
319:
300:
299:
269:
266:
265:
264:
235:
234:
224:
221:Ernst Schröder
215:, extended by
179:
176:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
408:
397:
394:
392:
389:
388:
386:
373:
368:
364:
357:
356:
355:
354:
353:
352:
347:
343:
339:
334:
333:
332:
331:
324:
323:
322:
321:
318:
313:
309:
302:
301:
297:
296:
295:
294:
290:
286:
282:
276:
267:
263:
259:
255:
254:67.249.83.179
250:
249:
248:
247:
243:
239:
232:
228:
225:
222:
218:
214:
210:
206:
202:
199:The study of
198:
197:
196:
194:
190:
188:
183:
177:
175:
174:
170:
166:
165:128.95.133.33
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
271:
236:
205:George Boole
192:
191:
187:World War II
184:
181:
178:Removed info
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
238:Cerberusrex
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
385:Categories
268:SEP links
211:begun by
207:, and of
203:begun by
304:— Carl
139:on the
36:scale.
367:talk
342:talk
312:talk
289:talk
281:this
258:talk
242:talk
169:talk
363:CBM
338:Cic
308:CBM
285:Cic
275:CBM
131:Mid
387::
365:·
344:)
336:--
310:·
291:)
260:)
244:)
171:)
369:)
361:(
340:(
314:)
306:(
287:(
277::
273:@
256:(
240:(
233:.
223:;
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.