学者信息

林哲

哲学系

合作者

已发表成果:

WOK 论文 7 篇;中文核心 1 篇;

  • Cut Elimination of Intuitionistic Tense Logic

    arXiv,,2024-05-16.
    Wang, Yiheng (1); Peng, Yu (1); Lin, Zhe (2)
    EI:20240213874   10.48550/arXiv.2405.09970
    收录情况:EI
  • Cut-Free Gentzen Sequent Calculi for Tense Logics

    AXIOMS,,2023-07.
    Lin, Zhe; Ma, Minghui
    WOS:001036863700001   10.3390/axioms12070620
    收录情况:SCIE
  • Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

    arXiv,,2023-03-09.
    Wang, Yiheng (1); Zhan, Hao (1); Peng, Yu (1); Lin, Zhe (1)
    EI:20230093628   10.48550/arXiv.2303.05672
    收录情况:EI
  • A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics

    STUDIA LOGICA,0039-3215,2022-05.
    Lin, Zhe; Ma, Minghui
    WOS:000800078400002   10.1007/s11225-022-10003-8
    收录情况:SCIE
  • On the Finite Model Property of Weak Intuitionistic Tense Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),0302-9743,2021.
    Peng, Yu (1); Lin, Zhe (1); Liang, Fei (2, 3)
    EI:20214211031091   10.1007/978-3-030-88708-7_14
    收录情况:EI
  • Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

    Fundamenta Informaticae,0169-2968,2021.
    Lin, Zhe; Chakraborty, Mihir Kumar; Ma, Minghui
    WOS:000641228900002   EI:20211710246124   10.3233/fi-2021-2023
    收录情况:SCIE、EI
  • On the decidability of intuitionistic tense logic without disjunction

    Proceedings of the 29th International Joint Conference on Artificial Intelligence,1045-0823,2020.
    Liang, Fei (1, 2); Lin, Zhe (3)
    EI:20205009609031  
    收录情况:EI
  • 混合模态逻辑的有穷模型性研究

    逻辑学研究,1674-3202,2021-08-18.
    彭玉;林哲
    CSSCI 文科二类核心