Extensions of Solovay's system S without independent sets of axioms

被引：0
|
作者：
Gorbunov, Igor [1 ]
Shkatov, Dmitry [1 ,2 ]
机构：
[1] Russian Acad Sci, Inst Informat Transmiss Problems, Moscow 127051, Russia
[2] Univ Witwatersrand, Sch Comp Sci & Appl Math, Private Bag 3, ZA-2050 Johannesburg, South Africa
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2024年 / 175卷 / 01期
基金：
俄罗斯科学基金会;
关键词：
Quasi -normal modal logic; Independent axiomatizability; Lattices of logics;
D O I：
10.1016/j.apal.2023.103360
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Chagrov and Zakharyaschev posed the problem of existence of extensions of Solovay's system S, which is a non-normalizable quasi-normal modal logic, that do not admit deductively independent sets of axioms. This paper gives a solution by exhibiting countably many extensions of S without deductively independent sets of axioms.(c) 2023 Elsevier B.V. All rights reserved.
引用
收藏
页数：23
相关论文
共 50 条
  • [41] The point of Kant's axioms of intuition
    Sutherland, D
    PACIFIC PHILOSOPHICAL QUARTERLY, 2005, 86 (01): : 135 - 159
  • [42] COMPATIBILITY OF QUINE INDIVIDUA EXISTENCE WITH SYSTEM OF AXIOMS OF BOURBAKI THEORY OF SETS
    VAIL, VE
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR, 1972, (04): : 294 - &
  • [43] Armstrong's Axioms and Navigation Strategies
    Deuser, Kaya
    Naumov, Pavel
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6343 - 6350
  • [44] The Controversy of Linearity in Shapley's Axioms
    Kamil, Anton Abdulbasah
    MATEMATIKA, 2005, 21 (02) : 125 - 131
  • [45] Frege's Critical Arguments for Axioms
    Hutchinson, Jim
    PACIFIC PHILOSOPHICAL QUARTERLY, 2021, 102 (04) : 516 - 541
  • [46] Examples to Birkhoff's quasigroup axioms
    Jedlicka, Premysl
    JOURNAL OF ALGEBRA, 2016, 466 : 204 - 207
  • [47] FRANZ BRENTANO'S Doctrine of Axioms
    Foradori, Ernst
    ARCHIV FUR DIE GESAMTE PSYCHOLOGIE, 1931, 81 (1-2): : 179 - 232
  • [48] AXIOMS OF PHILOSOPHY IN ARISTOTLE'S METAPHYSICS
    Djijian, Robert
    Hovhannisyan, Hasmik
    WISDOM, 2020, 16 (03): : 7 - 17
  • [49] Jung's Axioms: An Introduction to Jung's "Note on Number"
    Le Mouel, Christophe
    PSYCHOLOGICAL PERSPECTIVES-A QUARTERLY JOURNAL OF JUNGIAN THOUGHT, 2018, 61 (04): : 414 - 430
  • [50] Estimates of Hardy's constants for tubular extensions of sets and domains with finite boundary moments
    Avkhadiev F.G.
    Shafigullin I.K.
    Siberian Advances in Mathematics, 2014, 24 (3) : 153 - 158
12345