A Routley-Meyer Semantics for Godel 3-Valued Logic and Its Paraconsistent Counterpart

被引：0
|
作者：
Robles, Gemma [1 ]
机构：
[1] Univ Leon, Dept Psicol Sociol & Filosofia, Campus Vegazana S-N, E-24071 Leon, Spain
来源：
LOGICA UNIVERSALIS | 2013年 / 7卷 / 04期
关键词：
Many-valued logics; Godel 3-valued logic; Routley-Meyer semantics; Paraconsistent logics;
D O I：
10.1007/s11787-013-0088-7
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
Routley-Meyer semantics (RM-semantics) is defined for Godel 3-valued logic G3 and some logics related to it among which a paracon-sistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer's basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the models defined can be adapted to other related many-valued logics.
引用
收藏
页码：507 / 532
页数：26
相关论文
共 50 条
  • [41] COMPUTATIONAL ASPECTS OF 3-VALUED LOGIC
    SCHMITT, PH
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 190 - 198
  • [42] CLOSING FUNCTIONS OF 3-VALUED LOGIC
    RVACHOV, VL
    TONITSA, VS
    SHKLYAROV, LI
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1976, (06): : 498 - 501
  • [43] From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces
    Sato, Taisuke
    Sakama, Chiaki
    Inoue, Katsumi
    ICAART: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2020, : 758 - 765
  • [44] A 3-VALUED SYSTEM OF LOGIC AND ITS APPLICATIONS TO BASE 3 DIGITAL CIRCUITS
    VACCA, R
    COMMUNICATIONS OF THE ACM, 1959, 2 (07) : 14 - 14
  • [45] Towards an Algebraic Topos Semantics for Three-valued Godel Logic
    Aguzzoli, Stefano
    Codara, Pietro
    IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
  • [46] Fuzzy bi-Godel modal logic and its paraconsistent relatives
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [47] On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
    Koutras, Costa. D.
    Nomikos, Christos
    Peppas, Pavlos
    LOGIC JOURNAL OF THE IGPL, 2008, 16 (06) : 591 - 604
  • [48] LANGUAGE DELTA WITH WEAK 3-VALUED LOGIC
    NEPEIVODA, NN
    DOKLADY AKADEMII NAUK SSSR, 1974, 219 (06): : 1325 - 1327
  • [49] POLYNOMIAL REPRESENTATIONS IN A CLASS OF 3-VALUED LOGIC
    TOSHICH, Z
    ENGINEERING CYBERNETICS, 1967, (02): : 113 - &
  • [50] NEGATION AS FAILURE AND INTUITIONISTIC 3-VALUED LOGIC
    VAUZEILLES, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 227 - 241
12345