Formal ontology, semantical interpretation and logic

被引：0
|
作者：
Villegas-Forero, L [1 ]
Maciaszek, J [1 ]
机构：
[1] Univ Santiago de Compostela, Dept Log & Philosophy Sci, Santiago De Compostela, Spain
来源：
TRUTH IN PERSPECTIVE: RECENT ISSUES IN LOGIC, REPRESENTATION AND ONTOLOGY | 1998年
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：159 / 198
页数：40
相关论文
共 50 条
  • [41] Biosemiotics and formal ontology
    Stjernfelt, F
    SEMIOTICA, 1999, 127 (1-4) : 537 - 565
  • [42] Semantical analysis of specification logic, 3 - An operational approach
    Ghica, DR
    PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 264 - 278
  • [43] Matching a Trope Ontology to the Basic Formal Ontology
    de Rozario, Richard
    PHILOSOPHIES, 2019, 4 (03)
  • [44] Formal logic and transcendental logic
    Cantu, P
    RIVISTA DI STORIA DELLA FILOSOFIA, 2002, 57 (04) : 701 - 704
  • [45] A Semantical Analysis of Second-Order Propositional Modal Logic
    Belardinelli, F.
    van der Hoek, W.
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 886 - 892
  • [46] LOGIC AND ONTOLOGY, HEIDEGGER DESTRUCTION OF LOGIC
    DASTUR, F
    RESEARCH IN PHENOMENOLOGY, 1987, 17 : 55 - 74
  • [47] Unmentionables and Ineffables: An Interpretation of Some Fregean Metaphysical and Semantical Discourse
    Steven E. Boër
    Philosophical Studies, 2000, 97 : 53 - 96
  • [48] A Formal Logic for Formal Category Theory
    New, Max S.
    Licata, Daniel R.
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 113 - 134
  • [49] A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
    Chen, Shu
    Chen, MingKai
    ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 776 - +
  • [50] A new Formal Description of Ontology definition and Ontology algebra
    Wang, Junhua
    Zuo, Wanli
    He, Fengling
    Wang, Ying
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 363 - 366
12345