![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Logical Framework: перевод на русский
Какие есть мысли по поводу перевода на русский 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.
no subject
no subject
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
в контексте - система записи логических выражений?
no subject
"Система записи" - это и то и другое.
no subject
Могу предоставить под это какой угодно линуксовый хоцстинг.
На мой взгляд, будет довольно неплохо и удобно делать это под gitit (я его уже опробовал) — потом будет несложно и в TeX переделать.
Может быть, по ходу дела, что-то и сам переведу и/или исправлю.
Надо сделать wiki.ivanych.net
Что ты думаешь?
no subject
Такой книги ещё никто не написал :-)))
(Речь про сам термин :-)
no subject
Я думал, что речь идёт о какой-то готовой книжке, но только сходу не вспомнил, какой.........
Мда.
no subject
Инфраструктура для разработки логики...
no subject
no subject
сonsistency ~ непротиворечивость
validity ~ общезначимость
completeness ~ полнота
А вот
soundness ~ правильность?
no subject
Ещё иногда устойчивость (решения), но это не про логику.
no subject