ULTRAPRODUCTS AND NON-STANDARD LOGICS

被引：0
|
作者：
BENDA, M
机构：
来源：
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1968年 / 16卷 / 06期
关键词：
D O I：
暂无
中图分类号：
P1 [天文学];
学科分类号：
0704 ;
摘要：
引用
收藏
页码：453 / &
相关论文
共 50 条
  • [1] Non-standard logics for diagram interpretation
    Marriott, K
    Meyer, B
    [J]. THEORY AND APPLICATION OF DIAGRAMS, PROCEEDINGS, 2000, 1889 : 42 - 57
  • [2] Non-standard inferences in description logics
    Tang, Su-Qin
    Cai, Zi-Xing
    Wang, Ju
    Jiang, Yun-Cheng
    [J]. Moshi Shibie yu Rengong Zhineng/Pattern Recognition and Artificial Intelligence, 2010, 23 (04): : 522 - 530
  • [3] Strong non-standard completeness for fuzzy logics
    Flaminio, Tommaso
    [J]. SOFT COMPUTING, 2008, 12 (04) : 321 - 333
  • [4] Strong non-standard completeness for fuzzy logics
    Tommaso Flaminio
    [J]. Soft Computing, 2008, 12 : 321 - 333
  • [5] HYPERFINITE LOGICS AND NON-STANDARD EXTENSIONS OF BOOLEAN ALGEBRAS
    Ferenczi, Miklos
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2020, 107 (121): : 53 - 61
  • [6] Extensions of non-standard inferences to Description Logics with transitive roles
    Brandt, S
    Turhan, AY
    Küsters, R
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 122 - 136
  • [7] Non-standard logics and logical aspects of computer science - Foreword
    Ona, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 175 (01) : 1 - 1
  • [8] A Unified Framework for Non-standard Reasoning Services in Description Logics
    Colucci, Simona
    Di Noia, Tommaso
    Di Sciascio, Eugenio
    Donini, Francesco M.
    Ragone, Azzurra
    [J]. ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 479 - 484
  • [9] Standard And Non-Standard Latin
    Moran, Jerome
    [J]. JOURNAL OF CLASSICS TEACHING, 2018, 19 (37) : 58 - 63
  • [10] NON-STANDARD SPEECH
    AMIS, K
    [J]. TLS-THE TIMES LITERARY SUPPLEMENT, 1985, (4267): : 37 - 37
12345