Axiomatizing non-deterministic many-valued generalized consequence relations

被引：0
|
作者：
Sérgio Marcelino
Carlos Caleiro
机构：
[1] Universidade de Lisboa,Department of Mathematics
来源：
Synthese | 2021年 / 198卷
关键词：
Generalized logical consequence; Axiomatization; Non-deterministic logical matrix; Analyticity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We discuss the axiomatization of generalized consequence relations determined by non-deterministic matrices. We show that, under reasonable expressiveness requirements, simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, when the non-deterministic matrices are finite we obtain finite axiomatizations with a suitable generalized subformula property.
引用
收藏
页码：5373 / 5390
页数：17
相关论文
共 50 条
  • [21] Non-deterministic multiple-valued structures
    Avron, A
    Lev, I
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (03) : 241 - 261
  • [22] THE ANALYTIC GENERALIZED HOPF INVARIANT - MANY-VALUED FUNCTIONALS
    NOVIKOV, SP
    RUSSIAN MATHEMATICAL SURVEYS, 1984, 39 (05) : 113 - 124
  • [23] 8 Valued Non-Deterministic Semantics for Modal Logics
    Pawlowski, Pawel
    Skurt, Daniel
    JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 351 - 371
  • [24] Non-deterministic Multi-valued Logics - A Tutorial
    Avron, Arnon
    Zamansky, Anna
    40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 53 - 60
  • [25] Quantification in non-deterministic multi-valued structures
    Avron, A
    Zamansky, A
    35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 296 - 301
  • [26] 8 Valued Non-Deterministic Semantics for Modal Logics
    Pawel Pawlowski
    Daniel Skurt
    Journal of Philosophical Logic, 2024, 53 : 351 - 371
  • [27] Simplification of non-deterministic multi-valued networks
    Mishchenko, A
    Brayton, R
    IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 557 - 562
  • [28] New compact representation of multiple-valued functions, relations, and non-deterministic state machines
    Grygiel, S
    Perkowski, M
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 168 - 174
  • [29] The Structure of Many-Valued Relations III. Tied Relational Systems
    Della Stella, Maria Emilia
    Guido, Cosimo
    Ruzittu, Laura
    2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
  • [30] □ and ◊ in eight-valued non-deterministic semantics for modal logics
    Pawlowski, Pawel
    Skurt, Daniel
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
12345