1) realizability property
可实现性质
2) realistic feasibility
现实可行性
1.
The article analyses the inner bases and outer conditions, and the requirements of the realistic feasibility for building the separation of tax accounting mode.
本文从经济事物发展规律着手 ,分析了企业财务会计和税务会计分离的内在根据和外在条件 ,以及构建我国税务会计模式的现实可行性 ,从而论证了两者分离势在必行。
3) realistic possibility
现实可能性
1.
What is the judicial interpretation of legislation? What is the realistic possibility of appearance and existence of this phenomenon? How should we understand and evaluate it rationally? It has been a heated discussion,but no agreement has been reached.
何谓司法解释“立法化”,这个现象产生与存在的现实可能性是什么,我们应该如何理性地对它进行认识和评价,学界对此讨论热烈,众说纷纭,莫衷一是。
2.
This article analyses and criticizes the objective not- realized- crime and the objective danger theory, and points out that danger does not equal to realistic possibility.
本文通过对客观未遂论及客观危险说的分析、批判 ,指出危险性概念并不等同于现实可能性概念。
4) reliable realization
可靠性实现
5) possibility
[英][,pɔsə'bɪləti] [美]['pɑsə'bɪlətɪ]
现实可能性
1.
The writer thinks the improvement of man s all- round development has its possibility at the initial stage of Communism.
本文全面考察了马克思关于人的发展的含义,阐明了社会主义初级阶段促进人的全面发展的现实可能性,论述了促进人的全面发展的三个根本途径。
6) Variability Implementation
可变性实现
补充资料：可实现性
可实现性
readability
1 21)，旨在借助于递归函数(recursive funetion)，给出形式算术语言的直觉主义(构造的)语义.可实现性的其他形式是递归可实现性的修正. 关系e厂F的直观意思是:对象e编码了一个信息，由此可以推导出公式F的真假值.例如，在递归可实现性中，自然数0实现一个形式为s=t的基本公式，当且仅当这个公式是真的(即项s和t的值相同);如果一个数e实现析取式A VB则。编码了公式A或B中哪个是可实现性的，并产生一个实现这个公式的数.如果一个数。实现公式丫xA(x)，则e编码了一个算法，使得对任何自然数n，产生公式A(。)的一个实现.作为实现子，即实现公式的对象，总可以取为自然数.然而，在数学分析语言的直觉主义解释下，其他对象也可作为实现子，例如一元数论函数(例如见【3]). 对于一个逻辑语言的公式，例如命题或谓词公式，可实现性通常是用某一逻辑·数学语言O的可实现性概念来定义.一个逻辑公式吸称为可实现的，如果由O的公式代换吸中谓词变元所耗倒的O语言中的每个公式是可实现的. 可实现性解释在非经典的，特别是直觉主义的和构造的，逻辑和逻辑一数学理论的研究中有着广泛的应用.关于各种可实现性概念的描述以及它们在证明论中研究直觉主义理论方面的应用，见【3]，14].[补注1 J.M.E.Hyland(汇AI」)给出一千川头现仕划 模型论的”形式，证明它是某一拓扑斯(topos)，能行拓扑斯(effective tOPOs)或Hy拍nd可实现性拓扑斯i应诉泪rea脚bi五tyt叩os)的内在逻辑{’‘”可实现性仁碑习七.肠”ty;pe幼。3界Moe、] 逻辑语言和逻辑一数学语言的非经典解释(inter-Pretatio们)的形式之一可实现类型的各种解释由下列模式定义.对于一逻辑，数学语言的公式，定义关系“一个对象己实现一个闭公式F”，简记为“。:F”.定义是归纳的:首先对原子公式F定义关系。厂F，然后对复合公式F，在假定这个关系对于构成公式的子公式已经定义之下，定义相应关系erF.一个封闭公式F称为可实现的(re吐zable)，或对一给定解释是真的，如果存在一个对象e使得erF包告占函麦无丈，，一，，。的公式F是可实现的，如果闭公式岁x，…丫x。F是可实现的. 这样的一个解释，称为递归可实现性(recursiverealizability)，首先是由5 .C、K七e士提出(见[11，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条