1.
Thoughts on Semi-symbolic Logic --From the Angle of Education;
对半符号逻辑的思考——从教育的观点看
2.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.
研究命题、命题组合及其相关联词的符号逻辑。
3.
British mathematician and logician who developed a calculus of symbolic logic.
布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法
4.
a person skilled at symbolic logic.
熟练于逻辑符号的人。
5.
Logical Thinking in Symbolization and Logical Cohesion within a Text;
符号化的逻辑思维与语篇的逻辑连接
6.
Study on Structure,Logic and Dissymmetry of Semiotics in Advertising;
论广告符号的结构、逻辑与不对称性
7.
Semiology and the Logical Background of Literary Discourse;
从符号学角度看文学语言的“逻辑背景”
8.
the quality of being consistent with or based on logic.
基于逻辑或与逻辑相符。
9.
Sign and Symbol in Wittgenstein s Tractatus;
维特根斯坦《逻辑哲学论》中的“指号”和“符号”
10.
3.1.6 Logical operators
3.1.6 逻辑运算符
11.
In a mathematical or logical expression, a symbol that may be replaced by the name of any element of a set.
占位符号数学或逻辑用语，可以用其它元素的名称代替的符号
12.
On the Trichotomy in Semiotics and its Influence on Linguistic Logic and Philosophy;
论符号学三分法对语言哲学和语言逻辑的影响
13.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
14.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
15.
Of, relating to, in accordance with, or of the nature of logic.
逻辑的逻辑的、与逻辑有关的、符合逻辑的或具有逻辑性的
16.
Rhetorical functions of punctuation marks: Focusing on semi-colons and dashes;
论标点符号的修辞作用——实证分析分号、破折号的逻辑与情感功能
17.
The logical operation which makes use of the AND operator or logical product.
使用AND运算符或逻辑乘积的逻辑运算。
18.
Marked by logical sequence.
连贯的符合逻辑顺序的