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 条
  • [41] A formal semantics for SPKI
    Howell, J
    Kotz, D
    COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 140 - 158
  • [42] FORMAL SEMANTICS AND LEXICON
    SANDRI, G
    LINGUA E STILE, 1984, 19 (01) : 73 - 100
  • [43] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [44] Distributional formal semantics
    Venhuizen, Noortje J.
    Hendriks, Petra
    Crocker, Matthew W.
    Brouwer, Harm
    INFORMATION AND COMPUTATION, 2022, 287
  • [45] AN IMPLEMENTATION OF FORMAL SEMANTICS
    DOMINICY, M
    VANDERHOEFT, C
    FRANCAIS MODERNE, 1991, 59 (01): : 36 - 55
  • [46] Elements of Formal Semantics
    Keenan, Edward L.
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 175 - 192
  • [47] REALISM AND FORMAL SEMANTICS
    PEARCE, D
    RANTALA, V
    SYNTHESE, 1982, 52 (01) : 39 - 53
  • [48] A FORMAL SEMANTICS FOR SQL
    MEIRA, S
    MOTZ, R
    TEPEDINO, F
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 34 (1-2) : 43 - 63
  • [49] Formal semantics and ontology
    Kusliy, P. S.
    EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2012, 33 (03): : 62 - 67
  • [50] Contexts in Formal Semantics
    Gauker, Christopher
    PHILOSOPHY COMPASS, 2010, 5 (07) : 568 - 578
12345