First Order Languages: Further Syntax and Semantics

被引：5
|
作者：
Caminati, Marco B. [1 ]
机构：
[1] Sapienza Univ Rome, Math Dept G Castelnuovo, Piazzale Aldo Moro 5, I-00185 Rome, Italy
来源：
FORMALIZED MATHEMATICS | 2011年 / 19卷 / 03期
关键词：
D O I：
10.2478/v10037-011-0027-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1). As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced. Depth of a formula. Definition of satisfaction and entailment (aka entailment or logical implication) relations, see [18] III. 3.2 and III. 4.1 respectively.
引用
收藏
页码：179 / 192
页数：14
相关论文
共 50 条
12345