253:
243:
222:
452:
191:
354:
327:
364:
489:
logical framework, when in fact there are many. Depending on one's culture and background (e.g, CMU / North
America or Europe), one might use LF to refer to the Edinburgh Logical Framework, Martin-Löf's Logical Framework, or some other variant. The distinction between a `logical framework' as an
153:
484:
This article mentions the `LF Logical
Framework' all over the place, yet seems to refer to the Edinburgh Logical Framework specifically. IMO, this would seem to mislead the reader into think that ELF is
309:
147:
385:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
678:
674:
660:
755:
422:
412:
745:
299:
79:
740:
44:
750:
765:
275:
646:
387:
85:
760:
770:
589:
656:
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
491:
266:
227:
377:
332:
168:
99:
30:
135:
104:
20:
74:
721:
202:
615:
Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.
538:
Subsequent comments should be made in a new section on the talk page. No further edits should be made to this section.
459:
337:
65:
129:
490:
abstract concept and an individual instance of a logical framework should really be made clearer in the article.
677:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
190:
125:
712:
638:
109:
495:
647:
https://web.archive.org/web/20060104064335/http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html
634:
593:
563:
175:
696:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
684:
552:
208:
637:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit
252:
161:
55:
650:
274:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
575:
510:
258:
70:
681:
before doing mass systematic removals. This message is updated dynamically through the template
242:
221:
697:
141:
630:
567:
369:
51:
24:
548:
704:
663:, "External links modified" talk page sections are no longer generated or monitored by
703:
If you found an error with any archives or the URLs themselves, you can fix them with
451:
734:
571:
506:
606:
529:
670:
271:
669:. No special action is required regarding these talk page notices, other than
382:
359:
248:
726:
597:
579:
556:
514:
499:
381:, a collaborative effort to improve the coverage of content related to
353:
326:
651:
http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html
505:
Yes the article was pretty confused. I hope it's less so now.
184:
15:
450:
641:
for additional information. I made the following changes:
570:— Redirects here and is the standard name of the method.
528:
The following discussion is an archived discussion of a
160:
605:
The above discussion is preserved as an archive of a
270:, a collaborative effort to improve the coverage of
673:using the archive tool instructions below. Editors
433:
33:for general discussion of the article's subject.
659:This message was posted before February 2018.
174:
8:
188:
629:I have just modified one external link on
430:
321:
216:
323:
218:
391:about philosophy content on Knowledge.
7:
543:The result of the move request was:
375:This article is within the scope of
264:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
756:Low-importance Philosophy articles
14:
746:Low-priority mathematics articles
633:. Please take a moment to review
284:Knowledge:WikiProject Mathematics
741:Start-Class mathematics articles
397:Knowledge:WikiProject Philosophy
362:
352:
325:
287:Template:WikiProject Mathematics
251:
241:
220:
189:
45:Click here to start a new topic.
751:Start-Class Philosophy articles
417:This article has been rated as
400:Template:WikiProject Philosophy
304:This article has been rated as
1:
766:Low-importance logic articles
278:and see a list of open tasks.
42:Put new text under old text.
727:06:36, 5 January 2018 (UTC)
500:01:31, 8 January 2011 (UTC)
50:New to Knowledge? Welcome!
787:
761:Start-Class logic articles
690:(last update: 5 June 2024)
626:Hello fellow Wikipedians,
598:23:40, 12 April 2011 (UTC)
580:06:56, 12 April 2011 (UTC)
557:02:22, 19 April 2011 (UTC)
515:06:57, 12 April 2011 (UTC)
423:project's importance scale
771:Logic task force articles
458:
429:
416:
347:
303:
236:
215:
80:Be welcoming to newcomers
612:Please do not modify it.
535:Please do not modify it.
310:project's priority scale
622:External links modified
434:Associated task forces:
267:WikiProject Mathematics
564:LF (logical framework)
480:LF (logical framework)
455:
378:WikiProject Philosophy
197:This article is rated
75:avoid personal attacks
588:seems to make sense.
454:
100:Neutral point of view
671:regular verification
290:mathematics articles
105:No original research
661:After February 2018
403:Philosophy articles
715:InternetArchiveBot
666:InternetArchiveBot
456:
388:general discussion
259:Mathematics portal
203:content assessment
86:dispute resolution
47:
691:
631:Logical framework
568:Logical framework
477:
476:
473:
472:
469:
468:
465:
464:
370:Philosophy portal
320:
319:
316:
315:
183:
182:
66:Assume good faith
43:
25:Logical framework
778:
725:
716:
689:
688:
667:
614:
537:
441:
431:
405:
404:
401:
398:
395:
372:
367:
366:
365:
356:
349:
348:
343:
340:
329:
322:
292:
291:
288:
285:
282:
261:
256:
255:
245:
238:
237:
232:
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
786:
785:
781:
780:
779:
777:
776:
775:
731:
730:
719:
714:
682:
675:have permission
665:
639:this simple FaQ
624:
619:
610:
533:
523:
482:
439:
402:
399:
396:
393:
392:
368:
363:
361:
341:
335:
289:
286:
283:
280:
279:
257:
250:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
784:
782:
774:
773:
768:
763:
758:
753:
748:
743:
733:
732:
709:
708:
701:
654:
653:
645:Added archive
623:
620:
618:
617:
607:requested move
601:
600:
562:
560:
541:
540:
530:requested move
524:
522:
519:
518:
517:
481:
478:
475:
474:
471:
470:
467:
466:
463:
462:
457:
447:
446:
444:
442:
436:
435:
427:
426:
419:Low-importance
415:
409:
408:
406:
374:
373:
357:
345:
344:
342:Low‑importance
330:
318:
317:
314:
313:
302:
296:
295:
293:
276:the discussion
263:
262:
246:
234:
233:
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
783:
772:
769:
767:
764:
762:
759:
757:
754:
752:
749:
747:
744:
742:
739:
738:
736:
729:
728:
723:
718:
717:
706:
702:
699:
695:
694:
693:
686:
680:
676:
672:
668:
662:
657:
652:
648:
644:
643:
642:
640:
636:
632:
627:
621:
616:
613:
608:
603:
602:
599:
595:
591:
587:
584:
583:
582:
581:
577:
573:
569:
565:
559:
558:
554:
550:
546:
539:
536:
531:
526:
525:
520:
516:
512:
508:
504:
503:
502:
501:
497:
493:
488:
479:
461:
453:
449:
448:
445:
443:
438:
437:
432:
428:
424:
420:
414:
411:
410:
407:
390:
389:
384:
380:
379:
371:
360:
358:
355:
351:
350:
346:
339:
334:
331:
328:
324:
311:
307:
301:
298:
297:
294:
277:
273:
269:
268:
260:
254:
249:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
713:
710:
685:source check
664:
658:
655:
628:
625:
611:
604:
590:65.93.12.101
585:
561:
544:
542:
534:
527:
486:
483:
418:
386:
376:
306:Low-priority
305:
265:
231:Low‑priority
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
549:Vegaswikian
492:67.60.81.45
281:Mathematics
272:mathematics
228:Mathematics
199:Start-class
148:free images
31:not a forum
735:Categories
722:Report bug
545:page moved
394:Philosophy
383:philosophy
333:Philosophy
705:this tool
698:this tool
88:if needed
71:Be polite
21:talk page
711:Cheers.—
572:Tijfo098
507:Tijfo098
56:get help
29:This is
27:article.
635:my edit
586:Support
421:on the
308:on the
154:WP refs
142:scholar
205:scale.
126:Google
460:Logic
338:Logic
169:JSTOR
130:books
84:Seek
594:talk
576:talk
553:talk
511:talk
496:talk
162:FENS
136:news
73:and
679:RfC
649:to
609:.
487:the
413:Low
300:Low
176:TWL
737::
692:.
687:}}
683:{{
596:)
578:)
566:→
555:)
547:.
532:.
521:RM
513:)
498:)
440:/
336::
156:)
54:;
724:)
720:(
707:.
700:.
592:(
574:(
551:(
509:(
494:(
425:.
312:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.