Logic, Individuals and Concepts

Details Logic, Individuals and Concepts Logic, Individuals and Concepts

2001-06-12

arxiv.org/abs/cs/0106030v1

Proceedings of the 2-nd International Workshop on Computer Science and Information Technologies CSIT'2000, Ufa, Yangantau, Rus

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Logic, Individuals and Concepts does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic, Individuals and Concepts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic, Individuals and Concepts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-147579