ON THE CATEGORY OF MODEL OF A THEORY

被引：0
|
作者：
LASCAR, D
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：201 / 201
页数：1
相关论文
共 50 条
  • [21] A LOGIC FOR CATEGORY THEORY
    GILMORE, PC
    TSIKNIS, GK
    THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 211 - 252
  • [22] BALANCED CATEGORY THEORY
    Pisani, Claudio
    THEORY AND APPLICATIONS OF CATEGORIES, 2008, 20 : 85 - 115
  • [23] Observations on Category Theory
    John L. Bell
    Axiomathes, 2001, 12 (1-2): : 151 - 155
  • [24] HEGEL AND CATEGORY THEORY
    PIPPIN, RB
    REVIEW OF METAPHYSICS, 1990, 43 (04): : 839 - 848
  • [25] CATEGORY THEORY AND LOGIC
    POIGNE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 103 - 142
  • [26] Category Theory in Chemistry
    Akitsu, Takashiro
    COMPOUNDS, 2023, 3 (02): : 334 - 335
  • [27] Category theory for optimization
    Zhao, Heng
    Thiry, Laurent
    Hassenforder, Michel
    2018 IEEE 12TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2018, : 298 - 299
  • [28] Protoforms and category theory
    Reformat, Marek
    NAFIPS 2006 - 2006 Annual Meeting of the North American Fuzzy Information Processing Society, Vols 1 and 2, 2006, : 317 - 322
  • [29] Formalization of architecture-centric model mapping using category theory
    Hou, Jinkui
    Wan, Jiancheng
    Wang, Shuaiqiang
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 670 - +
  • [30] A Dynamic Model of Cross-Category Competition: Theory, Tests and Applications
    Bandyopadhyay, Subir
    JOURNAL OF RETAILING, 2009, 85 (04) : 468 - 479
12345