Coherence in Linear Predicate Logic

Details Coherence in Linear Predicate Logic Coherence in Linear Predicate Logic

2007-09-10

arxiv.org/abs/0709.1421v13

Mathematics

Logic

51 pages

Scientific paper

Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this result, coherence is first established for categories that correspond to the multiplicative conjunction-disjunction fragment with first-order quantifiers of classical linear logic, a fragment lacking negation. These results extend results published in previous two books by the authors, where coherence was established for categories of the corresponding fragments of propositional classical linear logic, which are related to proof nets, and which could be described as star-autonomous categories without unit objects.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-656413