NEW FOUNDATIONS FOR IMPERATIVE LOGIC III: A GENERAL DEFINITION OF ARGUMENT VALIDITY *

机译：祈使逻辑的新基础III：论证有效性的一般定义

机译：祈使逻辑的新基础：纯粹祈使推理

机译：论证逻辑的基础

机译：模块化，抽象和封装的统一定义作为基础多范式软件工程原则的一步

机译：保护势在必行：电影保护领域中具有竞争力的价值定义。

机译：多种病态老年人的多药定义需要更坚实的基础来指导研究临床实践和公共卫生

机译：命令式逻辑I的新基础：逻辑连接词，一致性和量词

机译：任务级编程的命令式语言：时态逻辑中的定义

机译：转换术语^{± [n _{i ] f（+/-） min 的条件最小化结构的逻辑动态过程的方法Sub> AND ± [m i ] f（+/-） min 在功能添加结构中± f < Sub> 1 （Σ RU ） min ，不带纹波f 1 （±←←）和循环ΔtΣ→5∙f（＆）-和5个条件逻辑函数f（＆）-，并通过三元数系统的算术公理同时转换术语参数的过程f RU （+ 1,0，-1）及其实现其的功能结构（俄罗斯逻辑版本）}}

机译：将模拟逻辑量«-/ +»[m _{j ] f（+/-）-“互补码”的参数结构转换为逻辑量^{的最小化参数的位置符号结构的方法>± [m j ] f（+/-） min 及其实现的功能结构（俄罗斯逻辑版本）}}

机译：f _{CD （Σ） RU 附加条件条件位“ j”的功能输出结构，具有最小化的过程循环ΔtΣ中间参数（ ^{2 S j ） 2 d1 / dn “等级2” AND（ 1 S j ） 2 d1 / dn 第二级和中间参数的“级别1”（ 2 S j ） 1 d1 / dn “等级2” AND（ 1 S j ） 1 d1 / dn “互补码RU”格式第一项的“级别1”，并生成结果和（（Sup> 2 S j ）f（2 n ）“级别2” AND（ 1 S j ）f（2 n ）格式相同的“等级1”（俄罗斯逻辑版本）}}