1) Luoji Zhiyao
《逻辑指要》
2) logical requirements
逻辑要求
1.
The logical requirements of judicial language of inquiry are discussed in the article.
就司法问语的逻辑要求问题进行了探讨。
3) schematic logic
概要逻辑
4) logic assignment
指配逻辑
5) logical indexes
逻辑指标
6) pointer logic
指针逻辑
1.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
2.
In terms of the authors sketch of design and verification of safety programs,a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统。
3.
On the basis of our framework for the design and verification of safe program,and the PointerC pointer logic,this paper mainly introduces our research on an assembly pointer logic system for the assembly pointer programs.
根据已经提出的安全程序设计与证明的框架以及PointerC指针逻辑,提出一种汇编语言指针逻辑。
补充资料：《逻辑指要》
关于中国逻辑史的一部专著。作者章士钊（1882～1973）。初稿写于1917年。1943年由重庆中心印书局出版，1959年经修改后收入生活·读书·新知三联书店出版的《逻辑丛刊》。
作者在该书中称逻辑为正思之学，即给所有思想立种种法式，相互推校、参照，"以期所得信为最正确者而归依"。他认为，"逻辑之名，起于欧洲，而逻辑之理，存乎天壤"，先秦名学与欧洲逻辑"信如车之两轮，相辅而行"。该书以欧洲逻辑体系为"经"，以中国古代名辩理论和实例为"纬"编写而成。书后附有作者早年所写的6篇论文,其中《名墨訾应论》和《名学他辩》等篇对先秦名辩之学（见先秦逻辑思想）提出了一些重要看法。作者否定了西晋鲁胜以来所谓"墨子著书，作辩经以立名本。惠施、公孙龙祖述其学，以正形名显于世"的传统说法,认为惠施、公孙龙既不是墨家正宗,也不是别墨，他们和墨子分别属于不同的派别；《墨经》既非墨子自著，也非惠施、公孙龙所作，而是后期墨家的集体创作。作者的这些看法，对中国古代名辩思想的研究产生了一定的影响。
作者在该书中称逻辑为正思之学，即给所有思想立种种法式，相互推校、参照，"以期所得信为最正确者而归依"。他认为，"逻辑之名，起于欧洲，而逻辑之理，存乎天壤"，先秦名学与欧洲逻辑"信如车之两轮，相辅而行"。该书以欧洲逻辑体系为"经"，以中国古代名辩理论和实例为"纬"编写而成。书后附有作者早年所写的6篇论文,其中《名墨訾应论》和《名学他辩》等篇对先秦名辩之学（见先秦逻辑思想）提出了一些重要看法。作者否定了西晋鲁胜以来所谓"墨子著书，作辩经以立名本。惠施、公孙龙祖述其学，以正形名显于世"的传统说法,认为惠施、公孙龙既不是墨家正宗,也不是别墨，他们和墨子分别属于不同的派别；《墨经》既非墨子自著，也非惠施、公孙龙所作，而是后期墨家的集体创作。作者的这些看法，对中国古代名辩思想的研究产生了一定的影响。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条