(Dual) Hoops Have Unique Halving

Details (Dual) Hoops Have Unique Halving (Dual) Hoops Have Unique Halving

2012-03-02

arxiv.org/abs/1203.0436v1

Computer Science

Artificial Intelligence

10 pages, 3 figures, a submission to the Bill McCune Memorial Festschrift

Scientific paper

Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for continuous structures. The semantics of these logics can be given using specialisations of algebraic structures known as hoops. As part of an investigation into the metatheory of propositional continuous logic, we were indebted to Prover9 for finding a proof of an important algebraic law.

Affiliated with

Also associated with

No associations

Rating

(Dual) Hoops Have Unique Halving 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 (Dual) Hoops Have Unique Halving, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and (Dual) Hoops Have Unique Halving will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-166131