0
$\begingroup$

There are three elements: x, y, z and a relation C:

        x C y,  y C z,  z C x,     x C x,  y C y,  z C z.

Let us introduce two binary operations with respect to the C: "the leftmost" (L) and "the rightmost" (R), i.e.

x L x = x L y = y L x = x,     y L y = y L z = z L y = y,     z L z = z L x = x L z = z

x R x = x R z = z R x = x,     y R y = x R y = y R x = y,     z R z = z R y = y R z = z.

Similar construction produces a multi-valued logic, if to use a linear order instead of the C, but this non-associative "logic" also has some applications. Yet, I failed to find any notes about that in a book about multi-valued logic. I would be glad to know, if described construction was used somewhere earlier to provide correct references in my works.

$\endgroup$
6
  • 2
    $\begingroup$ I don't see a question here. $\endgroup$ Apr 22, 2011 at 14:10
  • 2
    $\begingroup$ Dear qubeat: This post, at present, is "not a real question", meaning that you've rambled a little about an idea you've had (nothing wrong with that! the best questions include some background), but never got to a question. Maybe your question is "where can I read about multi-valued logic?", but if it's only that, then it's only borderline for MathOverflow (I would expect Math.StackExchange to be a better fit). Please read mathoverflow.net/howtoask , and revise this question. If it is closed (and I expect it will be), then once you revise it, you can "flag for moderator attention". $\endgroup$ Apr 22, 2011 at 14:18
  • $\begingroup$ Does this have anything to do with Trintercal? $\endgroup$ Apr 22, 2011 at 19:40
  • $\begingroup$ Trintercal? I do not know. $\endgroup$ Apr 22, 2011 at 20:13
  • $\begingroup$ @Theo Johnson-Freyd, thank you for the comments and suggestions, I have seen Math.StackExchange, but afraid it won't help. $\endgroup$ Apr 24, 2011 at 10:45

2 Answers 2

2
$\begingroup$

It sounds like you are describing a situation where $a$ is more true than $b$, $b$ is more true than $c$, but nevertheless $c$ is more true than $a$. I am not sure about the best starting point in looking for relevant references, but maybe Arrow's theorem on the impossibility of a perfect voting scheme, where $a$ represents "candidate $A$ should be elected".

$\endgroup$
1
  • $\begingroup$ Yes, relation C itself is known very well due to rock-paper-scissors game, but I may not find anything about L and R operations (analogues of AND, OR) derived from such relation. $\endgroup$ Apr 22, 2011 at 15:33
1
$\begingroup$

Just few hours ago I found, that the construction was used in talks of J. B. Nation “How aliens do math”, and “Logic on other planets” (here). Despite of such titles, the works look quite instructive.

$\endgroup$
1
  • $\begingroup$ Soon after I posted the answer, initial question was downvoted. Anyway, I think, I must have sent an answer, if I have known about one. $\endgroup$ Apr 28, 2011 at 12:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.