RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS

被引：7
|
作者：
Maddux, Roger D. [1 ]
机构：
[1] Iowa State Univ, Dept Math, Ames, IA 50011 USA
来源：
REVIEW OF SYMBOLIC LOGIC | 2010年 / 3卷 / 01期
关键词：
ENTAILMENT; SEMANTICS; ALGEBRAS;
D O I：
10.1017/S1755020309990293
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Sound and complete semantics for classical propositional logic can fie obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces all interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.
引用
收藏
页码：41 / 70
页数：30
相关论文
共 50 条
  • [1] Algebras of Relations and Relevance Logic
    Mikulas, Szabolcs
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (02) : 305 - 321
  • [2] POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
    Hirsch, Robin
    Mikulas, Szabolcs
    [J]. REVIEW OF SYMBOLIC LOGIC, 2011, 4 (01): : 81 - 105
  • [3] Cut-elimination in a sequents-of-relations calculus for Godel logic
    Baaz, M
    Ciabattoni, A
    Fermüller, CG
    [J]. 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 181 - 186
  • [4] LOGIC AS CALCULUS AND LOGIC AS LANGUAGE
    VANHEIJENOORT, J
    [J]. SYNTHESE, 1967, 17 (03) : 324 - 330
  • [5] The Relevance of Relevance to Relevance Logic
    Dunn, J. Michael
    [J]. LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 11 - 29
  • [6] A logic for the schema calculus
    Henson, MC
    Reeves, S
    [J]. ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 172 - 191
  • [7] "Horrent with Mysterious Spiculae'. AugustusDeMorgan's Logic Notation of 1850 as a "Calculus of Opposite Relations'
    Heinemann, Anna-Sophie
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2018, 39 (01) : 29 - 52
  • [8] LOGIC OF RELEVANCE
    GARDENFORS, P
    [J]. SYNTHESE, 1978, 37 (03) : 351 - 367
  • [9] THE CALCULUS OF CONTEXT RELATIONS
    SNELTING, G
    [J]. ACTA INFORMATICA, 1991, 28 (05) : 411 - 445
  • [10] A calculus of typed relations
    MacCaull, W
    Orlowska, E
    [J]. RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 191 - 201
12345