MODAL AND IMPLICATION SYSTEMS

被引：0
|
作者：
SHAOKUI, M
机构：
来源：
CHINESE MATHEMATICS | 1967年 / 9卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：439 / &
相关论文
共 50 条
  • [1] MODAL MEET-IMPLICATION LOGIC
    De Groot, Jim
    Pattinson, Dirk
    LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (03) : 1:1 - 1:35
  • [2] Propagating Configuration Decisions with Modal Implication Graphs
    Krieter, Sebastian
    Thuem, Thomas
    Schulze, Sandro
    Schroeter, Reimar
    Saake, Gunter
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 898 - 909
  • [3] CONNEXIVE IMPLICATION, MODAL LOGIC AND SUBJUNCTIVE CONDITIONALS
    ANGELL, RB
    JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 367 - &
  • [4] CONNEXIVE IMPLICATION, MODAL LOGIC AND SUBJUNCTIVE CONDITIONALS
    Angell, Richard Bradshaw
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (03): : 297 - 308
  • [5] Incremental Construction of Modal Implication Graphs for Evolving Feature Models
    Krieter, Sebastian
    Arens, Rahel
    Nieke, Michael
    Sundermann, Chico
    Hess, Tobias
    Thuem, Thomas
    Seidl, Christoph
    SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2021,
  • [6] Paraconsistency and modal systems
    Abe, JM
    ADVANCES IN INTELLIGENT SYSTEMS AND ROBOTICS, 2003, 101 : 74 - 79
  • [7] SCI AND MODAL SYSTEMS
    SUSZKO, R
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 436 - &
  • [8] Invariance of the implication relation under mappings of implication systems
    Ros', A.A.
    Yashnev, Yu.V.
    Cybernetics (English Translation of Kibernetika), 1991, 26 (04):
  • [9] INVARIANCE OF THE IMPLICATION RELATION UNDER MAPPINGS OF IMPLICATION SYSTEMS
    ROS, AA
    YASHNEV, YV
    CYBERNETICS, 1990, 26 (04): : 568 - 572
  • [10] MODAL LOGIC - LEWIS MODAL SYSTEMS - ZEMAN,JJ
    LARGEAUL.J
    ETUDES PHILOSOPHIQUES, 1973, (02): : 282 - 282
12345