Logic, Individuals and Concepts
计算机科学中的逻辑
2007-05-23 v1 数据库
离散数学
软件工程
摘要
This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax and semantics features. The evaluation map in use is parameterized by a kind of computational environment, the index, giving rise to indexed concepts. The concepts are inhabited into language by the descriptions from the higher order logic. In general the idea of object-as-functor should assist the designer to outline a programming tool in conceptual shell style.
引用
@article{arxiv.cs/0106030,
title = {Logic, Individuals and Concepts},
author = {Viacheslav Wolfengagen},
journal= {arXiv preprint arXiv:cs/0106030},
year = {2007}
}