How to combine diagrammatic logics

Details How to combine diagrammatic logics How to combine diagrammatic logics

2009-11-16

arxiv.org/abs/0911.3005v2

Computer Science

Logic in Computer Science

Scientific paper

This paper is a submission to the contest: How to combine logics? at the World Congress and School on Universal Logic III, 2010. We claim that combining "things", whatever these things are, is made easier if these things can be seen as the objects of a category. We define the category of diagrammatic logics, so that categorical constructions can be used for combining diagrammatic logics. As an example, a combination of logics using an opfibration is presented, in order to study computational side-effects due to the evolution of the state during the execution of an imperative program.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-499152