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 条
  • [31] Sequent of relations calculi:: A framework for analytic deduction in many-valued logics
    Baaz, M
    Ciabattoni, A
    Fermüller, CG
    BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 157 - 180
  • [32] Generalized constraint generation in the presence of non-deterministic parasitics
    Charbon, E
    Miliozzi, P
    Malavasi, E
    SangiovanniVincentelli, AL
    1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 187 - 192
  • [33] Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
    Bonet, Blai
    De Giacomo, Giuseppe
    Geffner, Hector
    Rubin, Sasha
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 873 - 879
  • [34] UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
    Vidal, Amanda
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1576 - 1605
  • [35] Deterministic and Nondeterministic Decision Trees for Decision Tables with Many-Valued Decisions from Closed Classes
    Ostonov, Azimkhon
    Moshkov, Mikhail
    ROUGH SETS, IJCRS 2023, 2023, 14481 : 89 - 104
  • [36] Generalized non-deterministic matrices and (n,k)-ary quantifiers
    Avron, Arnon
    Zamansky, Anna
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 26 - +
  • [37] A first polynomial non-clausal class in many-valued logic
    Imaz, Gonzalo E.
    FUZZY SETS AND SYSTEMS, 2023, 456 : 1 - 37
  • [38] On the Complexity of Non-reversible Betting Games on Many-Valued Events
    Fedel, Martina
    Flaminio, Tommaso
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS: THEORY AND METHODS, PT 1, 2010, 80 : 90 - +
  • [39] Testing a non-deterministic robot in simulation - How many repeated runs ?
    Robert, Clement
    Guiochet, Jeremie
    Waeselynck, Helene
    2020 FOURTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2020), 2020, : 263 - 270
  • [40] Variable-Range Approximate Systems Induced by Many-Valued L-Relations
    Elkins, Aleksandrs
    Han, Sang-Eon
    Sostak, Alexander
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT III, 2014, 444 : 41 - 50
12345