On the extension of classical propositional logic by means of a triangular norm

被引：0
|
作者：
机构：
[1] De Cooman, G.
[2] Kerre, E.E.
[3] Cappelle, B.
[4] Da, Ruan
[5] Vanmassenhove, F.
来源：
De Cooman, G. | 1600年 / 05期
关键词：
Propositional Logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Dual tableau for monoidal triangular norm logic MTL
    Golinska-Pilarek, Joanna
    Orlowska, Ewa
    FUZZY SETS AND SYSTEMS, 2011, 162 (01) : 39 - 52
  • [42] A triangular norm-based fuzzy predicate logic
    Wang, SM
    Wang, BS
    Wang, GJ
    FUZZY SETS AND SYSTEMS, 2003, 138 (01) : 177 - 186
  • [43] Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
    Aguilera-Venegas, Gabriel
    Luis Galan-Garcia, Jose
    Angeles Galan-Garcia, Maria
    Rodriguez-Cielos, Pedro
    International Journal for Technology in Mathematics Education, 2015, 22 (02): : 85 - 91
  • [44] Expansion Nets: Proof-Nets for Propositional Classical Logic
    McKinley, Richard
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 535 - 549
  • [45] A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic
    Luiz C. Pereira
    Edward H. Haeusler
    Vaston G. Costa
    Wagner Sanz
    Studia Logica, 2010, 96 : 95 - 108
  • [46] A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic
    Pereira, L. C.
    Haeusler, E. H.
    Costa, V. G.
    Sanz, W.
    STUDIA LOGICA, 2010, 96 (01) : 95 - 108
  • [47] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
    Kaminski, Michael
    Francez, Nissim
    STUDIA LOGICA, 2014, 102 (03) : 479 - 497
  • [48] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
    Toyooka, Masanobu
    Sano, Katsuhiko
    STUDIA LOGICA, 2024, 112 (05) : 1091 - 1121
  • [49] Theory of probability semantics of classical propositional logic and its application
    Zhang, Jia-Lu
    Chen, Xue-Gang
    Zhao, Xiao-Dong
    Jisuanji Xuebao/Chinese Journal of Computers, 2014, 37 (08): : 1775 - 1785
  • [50] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
    Michael Kaminski
    Nissim Francez
    Studia Logica, 2014, 102 : 479 - 497
12345