TAUTOLOGIES IN FORMAL LOGIC

被引：0
|
作者：
Tortrat, Albert
机构：
来源：
REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES | 2008年 / 53卷 / 04期
关键词：
tautologie; modele; theorie;
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：357 / 374
页数：18
相关论文
共 50 条
  • [1] Tautologies and quasi-tautologies in fuzzy modal logic
    Hu, Ming-Di
    Wang, Guo-Jun
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2009, 37 (11): : 2484 - 2488
  • [2] ON TAUTOLOGIES IN OMEGA+-VALUED LOGIC
    MAKSIMOVA, LL
    MATHEMATICAL NOTES, 1975, 17 (5-6) : 568 - 573
  • [3] SET OF ALL TAUTOLOGIES OF ALGORITHMIC LOGIC IS HYPERARITHMETICAL
    KRECZMAR, A
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (08): : 781 - &
  • [4] SOME (NON)TAUTOLOGIES OF LUKASIEWICZ AND PRODUCT LOGIC
    Hajek, Petr
    REVIEW OF SYMBOLIC LOGIC, 2010, 3 (02): : 273 - 278
  • [5] Semantic Rules of Generalized Tautologies in RDP Logic System
    Hui Xiaojing
    Hao Guoping
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 4506 - 4509
  • [6] Tautologies in some lattice-valued logic systems
    Li, HM
    Qin, KY
    Xu, Y
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2563 - 2568
  • [7] FORMULAE, TAUTOLOGIES, AND EQUIPOTENCES IN THE COMPLEX S-LOGIC
    Sgurev, Vasil
    2016 IEEE 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), 2016, : 280 - 283
  • [8] Formal logic and transcendental logic
    Cantu, P
    RIVISTA DI STORIA DELLA FILOSOFIA, 2002, 57 (04) : 701 - 704
  • [9] SET OF ALL TAUTOLOGIES OF ZERO-ORDER ALGORITHMIC LOGIC IS DECIDABLE
    GRABOWSKI, M
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (07): : 575 - +
  • [10] In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
    Genitrini, Antoine
    Kozik, Jakub
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 875 - 887
12345