Fuzzy Topological Systems

Details Fuzzy Topological Systems Fuzzy Topological Systems

2011-07-13

arxiv.org/abs/1107.2513v1

Computer Science

Logic in Computer Science

This paper was read at the 8th Panhellenic Logic Symposium, July 4-8, 2011, Ioannina, Greece

Scientific paper

Dialectica categories are a very versatile categorical model of linear logic. These have been used to model many seemingly different things (e.g., Petri nets and Lambek's calculus). In this note, we expand our previous work on fuzzy petri nets to deal with fuzzy topological systems. One basic idea is to use as the dualizing object in the Dialectica categories construction, the unit real interval [0,1], which has all the properties of a {\em lineale}. The second basic idea is to generalize Vickers's notion of a topological system.

Affiliated with

Also associated with

No associations

Rating

Fuzzy Topological Systems 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 Fuzzy Topological Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fuzzy Topological Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-165497