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.

Improve this question
$\endgroup$
6
  • 2
    $\begingroup$ I don't see a question here. $\endgroup$
    – Cam McLeman
    Commented 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$
    – Theo Johnson-Freyd
    Commented Apr 22, 2011 at 14:18
  • $\begingroup$ Does this have anything to do with Trintercal? $\endgroup$
    – Zsbán Ambrus
    Commented Apr 22, 2011 at 19:40
  • $\begingroup$ Trintercal? I do not know. $\endgroup$
    – Alex 'qubeat'
    Commented 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$
    – Alex 'qubeat'
    Commented Apr 24, 2011 at 10:45

2 Answers 2

Reset to default
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.

Improve this answer
$\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$
    – Alex 'qubeat'
    Commented Apr 28, 2011 at 12:52
1
$\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".

Improve this answer
$\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$
    – Alex 'qubeat'
    Commented Apr 22, 2011 at 15:33

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .