Logical Framework: перевод на русский
Apr. 28th, 2011 05:24 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokКакие есть мысли по поводу перевода на русский Logical Framework?
UPD. Контекст(ы):
There is another way of interpreting logic in type theory, due to De Bruijn, which we call the logical framework representation of logic in type theory.
Logical frameworks are systems which provide mechanisms for representing syntax and proof systems which make up a logic. The exact representation mechanisms depend upon the framework, but one approach exemplified in the Edinburgh Logical Framework (Harper, Honsell, and Plotkin, 1993) is suggested by the slogan judgments-as-types, where types are used to capture the judgments of a logic.
UPD. Контекст(ы):
There is another way of interpreting logic in type theory, due to De Bruijn, which we call the logical framework representation of logic in type theory.
Logical frameworks are systems which provide mechanisms for representing syntax and proof systems which make up a logic. The exact representation mechanisms depend upon the framework, but one approach exemplified in the Edinburgh Logical Framework (Harper, Honsell, and Plotkin, 1993) is suggested by the slogan judgments-as-types, where types are used to capture the judgments of a logic.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-04-28 01:11 pm (UTC)no subject
Date: 2011-04-28 01:14 pm (UTC)Logical frameworks are systems which provide mechanisms for representing syntax and proof systems which make up a logic. The exact representation mechanisms depend upon the framework, but one approach exemplified in the Edinburgh Logical Framework (Harper, Honsell, and Plotkin, 1993) is suggested by the slogan judgmentsastypes, where types are used to capture the judgments of a logic.
no subject
Date: 2011-04-28 01:19 pm (UTC)в контексте - система записи логических выражений?
no subject
Date: 2011-04-28 01:29 pm (UTC)"Система записи" - это и то и другое.
no subject
Date: 2011-04-28 01:54 pm (UTC)Могу предоставить под это какой угодно линуксовый хоцстинг.
На мой взгляд, будет довольно неплохо и удобно делать это под gitit (я его уже опробовал) — потом будет несложно и в TeX переделать.
Может быть, по ходу дела, что-то и сам переведу и/или исправлю.
Надо сделать wiki.ivanych.net
Что ты думаешь?
no subject
Date: 2011-04-28 01:58 pm (UTC)Такой книги ещё никто не написал :-)))
(Речь про сам термин :-)
no subject
Date: 2011-04-28 02:01 pm (UTC)Я думал, что речь идёт о какой-то готовой книжке, но только сходу не вспомнил, какой.........
Мда.
no subject
Date: 2011-04-29 04:12 am (UTC)Инфраструктура для разработки логики...
no subject
Date: 2011-04-29 04:23 am (UTC)no subject
Date: 2011-04-29 04:27 am (UTC)сonsistency ~ непротиворечивость
validity ~ общезначимость
completeness ~ полнота
А вот
soundness ~ правильность?
no subject
Date: 2011-04-29 05:04 am (UTC)Ещё иногда устойчивость (решения), но это не про логику.
no subject
Date: 2011-04-29 07:08 am (UTC)