![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Logical Framework: перевод на русский
Apr. 28th, 2011 05:24 pmКакие есть мысли по поводу перевода на русский 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.
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
