Kripke Semantics for Basic Sequent Systems

被引：0
|
作者：
Avron, Arnon [1 ]
Lahav, Ori [1 ]
机构：
[1] Tel Aviv Univ, Sch Comp Sci, Tel Aviv, Israel
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS | 2011年 / 6793卷
关键词：
LOGIC;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a general method for providing Kripke semantics for the family of fully-structural multiple-conclusion propositional sequent systems. In particular, many well-known Kripke semantics for a variety of logics are easily obtained as special cases. This semantics is then used to obtain semantic characterizations of analytic sequent systems of this type, as well as of those admitting cut-admissibility. These characterizations serve as a uniform basis for semantic proofs of analyticity and cut-admissibility in such systems.
引用
收藏
页码：43 / 57
页数：15
相关论文
共 50 条
  • [11] A Kripke Semantics for Hajek's BL
    Lewis-Smith, Andrew
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (381): : 20 - 31
  • [12] New incompleteness result in kripke semantics
    Gasquet, O.
    1995, IOS Press, Amsterdam, Netherlands (24)
  • [13] An implementation of Kripke-Kleene semantics
    Liu, FF
    Moore, DH
    INFORMATION SCIENCES, 1998, 108 (1-4) : 31 - 50
  • [14] Many-valued and Kripke semantics
    Beziau, Jean-Yves
    AGE OF ALTERNATIVE LOGICS: ASSESSING PHILOSOPHY OF LOGIC AND MATHEMATICS TODAY, 2006, 3 : 89 - 101
  • [15] Kripke semantics for provability logic GLP
    Beklemishev, Lev D.
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (06) : 756 - 774
  • [16] Dov Gabbay, Reactive Kripke Semantics
    Valentin Goranko
    Studia Logica, 2017, 105 : 431 - 437
  • [17] Kripke semantics for the logic of problems and propositions
    Onoprienko, A. A.
    SBORNIK MATHEMATICS, 2020, 211 (05) : 709 - 732
  • [18] A kripke semantics for the logic of gelfand quantales
    Allwein G.
    Maccaull W.
    Studia Logica, 2001, 68 (2) : 173 - 228
  • [19] Definability of Boolean Functions in Kripke Semantics
    Matsuda, Naosuke
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (03) : 363 - 376
  • [20] Kripke Semantics for Intuitionistic Lukasiewicz Logic
    Lewis-Smith, A.
    Oliva, P.
    Robinson, E.
    STUDIA LOGICA, 2021, 109 (02) : 313 - 339
12345