A CUT-FREE CALCULUS FOR DUMMETTS LC QUANTIFIED

被引：14
|
作者：
CORSI, G
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1989年 / 35卷 / 04期
关键词：
D O I：
10.1002/malq.19890350402
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
下载
收藏
页码：289 / 301
页数：13
相关论文
共 50 条
  • [1] Cut-free formulations for a quantified logic of here and there
    Mints, Grigori
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (03) : 237 - 242
  • [2] Proof Complexity of the Cut-free Calculus of Structures
    Jerabek, Emil
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (02) : 323 - 339
  • [3] Cut-free Gentzen calculus for multimodal CK
    Mendler, Michael
    Scheele, Stephan
    INFORMATION AND COMPUTATION, 2011, 209 (12) : 1465 - 1490
  • [4] A cut-free and invariant-free sequent calculus for PLTL
    Gaintzarain, Joxe
    Hermo, Montserrat
    Lucio, Paqui
    Navarro, Marisa
    Orejas, Fernando
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2007, 4646 : 481 - +
  • [5] A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
    Millson, Jared
    STUDIA LOGICA, 2019, 107 (06) : 1279 - 1312
  • [6] Cut-free Completeness for Modal Mu-Calculus
    Afshari, Bahareh
    Leigh, Graham E.
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [7] A Cut-Free Gentzen Formulation of Basic Propositional Calculus
    Kentaro Kikuchi
    Katsumi Sasaki
    Journal of Logic, Language and Information, 2003, 12 (2) : 213 - 225
  • [8] A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
    Jared Millson
    Studia Logica, 2019, 107 : 1279 - 1312
  • [9] A cut-free sequent calculus for relevant logic RW*
    Ilic, Mirjana
    Boricici, Branislav
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 673 - 695
  • [10] A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
    Nomura, Shoshin
    Ono, Hiroakira
    Sano, Katsuhiko
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 283 - 298
12345