I was skimming though a book by Roberto Cignoli, Itala D'Ottaviano, and
Daniele Mundici called Algebraic Foundations of Many-Valued Reasoning.
Recall that I conjectured that the Physicist's universe has an
MV-algebra structure. I probably should have said that the Physicist's
universe is the
Dear Brian,
have you had a look at Universal logic?
http://en.wikipedia.org/wiki/Universal_logic
Maybe there are points of interest in there for you (the wikipedia
article is only a stub, but contains some names to google).
Cheers,
Günther
Brian Tenneson wrote:
I was skimming though a book
Great reference, thanks!
I'm investigating a problem I can phrase two ways, given that the
category of MV-algebras is equivalent to the category of lattice-ordered
Abelian groups with a distinguished strong unit.
So one way to phrase my question, and I'm guess it has been answered
before
Hi Youness/Russell:
I am very interested in this thread.
Russell:
In our last conversation you got me to look at my completeness resolution
driven transitions in the evolution of my Somethings [universes] as
information processing.
From that point, if I alter the transition slightly and make
In an attempt to recruit the help of a friend from school, he writes
this in an email in response:
quote
So, about your question, I've actually never heard
of a lattice-ordered abelian group, so I don't think I
can help you there. I can tell you about the
connection of category theory to
5 matches
Mail list logo
