115 reputation
6
bio website
location
age
visits member for 2 years, 3 months
seen Oct 2 at 4:57

Aug
27
awarded  Nice Answer
Mar
11
revised Simplifying Equivalences in Łukasiewicz Logic
Just writing down my progress
Mar
10
comment Simplifying Equivalences in Łukasiewicz Logic
That doesn't seem right. In Łukasiewicz logic a → b = min(1,1-a+b); you can define a + b := ¬a → b. It is not generally true that (a+a+a) → (a+a) (for instance, where a = 1/3), however in a three valued logic that would be a tautology. I'm now a little skeptical that your source is treating the same fuzzy logic I'm studying.
Mar
10
answered Simplifying Equivalences in Łukasiewicz Logic
Mar
9
comment The Logic of Satisfiability?
I don't think "validity logic" is well studied. This sort of reminds me of Hamkin's modal logic of forcing, which is apparently S4.2: arxiv.org/pdf/math/0509616v1.pdf
Mar
9
revised What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
Extending my original answer to cover some other things that come to mind
Mar
9
revised What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
added 1339 characters in body
Mar
9
awarded  Teacher
Mar
9
answered What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
Mar
9
comment What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
Pretty cool! People fascinated by this might also like prime factorization diagrams: datapointed.net/visualizations/math/factorization/…
Mar
9
comment Simplifying Equivalences in Łukasiewicz Logic
Well, I want to simplify expressions prior to converting to McNaughton Normal Forms. Yeah, I've looked at the usual axioms, but honestly apart from absorption rules it doesn't appear that there are many good candidates for simplification rules, so I was hoping an expert would chime in. As for Metcalfe's stuff: my decision procedure involves solving SAT problems over McNaughton Normal Forms, so I've pretty much married myself to using semantics over proof theory...
Mar
8
revised Simplifying Equivalences in Łukasiewicz Logic
Adding logic tag
Mar
8
revised Lukasiewicz Logic Tautology
Formatting
Mar
8
suggested suggested edit on Lukasiewicz Logic Tautology
Mar
8
awarded  Student
Mar
8
asked Simplifying Equivalences in Łukasiewicz Logic
Feb
11
awarded  Excavator
Feb
11
revised How to calculate the gradient of log det matrix inverse?
Dropped minus sign
Feb
11
suggested suggested edit on How to calculate the gradient of log det matrix inverse?
Jul
30
revised How are the full semantics of SOL and HOL specified?
added reference, added notes from comments