| Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences. |
Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении. |
| This is the semantics of remote promises in E. potentially, the access could succeed if the future is already resolved, but signal an error if it is not. |
Это семантика удалённых promise в E. теоретически возможна такая ситуация, что доступ будет получен, если future разрешён, а иначе будет вызвана ошибка. |
| Write-once semantics in streaming production precludes the use of ''. |
Семантика однократной записи при потоковой работе не позволяет использовать. |
| He developed a semantics of intuitionistic logic based on Husserl's phenomenology, and this semantics was used by Arend Heyting in his own formalization. |
Он разработал семантику интуиционистской логики на основе гуссерлевской феноменологии, и эта семантика впоследствии была использована Арендом Гейтингом для развития собственного подхода. |
| Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson. |
На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном. |