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 条
  • [1] Substantial and formal deductions in logics with vector semantics
    Arshinskii, L. V.
    AUTOMATION AND REMOTE CONTROL, 2007, 68 (01) : 139 - 148
  • [2] On the formal semantics of IF-like logics
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (05) : 333 - 346
  • [3] On the formal semantics of IF-like logics
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 164 - +
  • [4] A Formal Semantics for Concept Understanding Relying on Description Logics
    Badie, Farshad
    ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2017, : 42 - 52
  • [5] First-order swap structures semantics for some logics of formal inconsistency
    Coniglio, Marcelo E.
    Figallo-Orellano, Aldo
    Golzio, Ana C.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (06) : 1257 - 1290
  • [6] From logics of formal inconsistency to logics of formal classicality
    Omori, Hitoshi
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 684 - 711
  • [7] FORMAL DEDUCTIONS IN THEORIES ON GRAPHS
    RAMBAUD, C
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (04): : 135 - 136
  • [8] SEMANTICS FOR TENSE LOGICS
    THOMASON, SK
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1107 - &
  • [9] SEMANTICS FOR RELEVANT LOGICS
    URQUHART, A
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 159 - &
  • [10] Logics with Multiteam Semantics
    Graedel, Erich
    Wilke, Richard
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022, 23 (02)
12345