DEFINABILITY IN CERTAIN NONCLASSICAL LOGICS - PRELIMINARY REPORT

被引：0
|
作者：
MELIS, E [1 ]
机构：
[1] HUMBOLDT UNIV,UNTER DEN LINDEN 6,108 BERLIN,WEST GERMANY
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1974年 / 21卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：A12 / A12
页数：1
相关论文
共 50 条
  • [1] DEFINABILITY IN NONCLASSICAL LOGICS - PRELIMINARY REPORT
    DAHN, B
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A13 - A13
  • [2] DEFINABILITY IN THE THEORY OF INTEGERS - PRELIMINARY REPORT
    BING, K
    [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (04) : 396 - 396
  • [3] Definability and automorphisms in abstract logics
    Caicedo, X
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (08) : 937 - 945
  • [4] Definability and automorphisms in abstract logics
    Xavier Caicedo
    [J]. Archive for Mathematical Logic, 2004, 43 : 937 - 945
  • [5] Implicit Definability and Positive Logics
    L. L. Maksimova
    [J]. Algebra and Logic, 2003, 42 (1) : 37 - 53
  • [6] WEAK DEFINABILITY FOR INFINITARY LANGUAGES - PRELIMINARY REPORT
    SHELAH, S
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 834 - &
  • [7] EXTENSIONALITY IN NONCLASSICAL LOGICS
    DUNN, JM
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1426 - 1426
  • [8] Interpolation and Beth Definability in Default Logics
    Cassano, Valentin
    Fervari, Raul
    Areces, Carlos
    Castro, Pablo F.
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 675 - 691
  • [9] Beth Definability in Expressive Description Logics
    ten Cate, Balder
    Franconi, Enrico
    Seylan, Inanc
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 347 - 414
  • [10] SYMMETRIES ON QUANTUM LOGICS - PRELIMINARY REPORT
    COOK, TA
    RUTTIMANN, GT
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (06): : A663 - A664
12345