Substantial and formal deductions in logics with vector semantics

被引：0
|
作者：
L. V. Arshinskii
机构：
[1] The East-Siberian Institute of the Ministry of Internal Affairs of Russia,
来源：
Automation and Remote Control | 2007年 / 68卷
关键词：
07.05.Mh;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The problem of logic deduction for one class of logics with a vector semantics is discussed. In the given logics the trustiness is represented by a vector with components 〈Truth; Lie〉, which do not depend on each other. The problem of organization of “substantial” and “formal” deductions is considered. In the first case the meaning of truth (semantics) of judgements is taken into account, whereas in the second case only the structure of judgements (syntax) is considered.
引用
收藏
页码：139 / 148
页数：9
相关论文
共 50 条
12345