Timeline for Applying an axiom from a class in a proof
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19 at 16:08 | comment | added | Andrej Bauer |
It would be more convenient to axiomatize such algebras without union and deifne unions by Definition union a b := neg (inter (neg a) (neg b)).
|
|
| Jun 19 at 8:36 | comment | added | Meven Lennon-Bertrand♦ | Aren't you missing some axioms about how intersection and negation interact? And also, how negation interacts with itself (ie, being involutive)? Without this, I don't think you will be able to prove your goal. | |
| Jun 18 at 18:41 | answer | added | Thomas Lamiaux | timeline score: 1 | |
| S Jun 18 at 18:18 | review | First questions | |||
| Jun 19 at 4:50 | |||||
| S Jun 18 at 18:18 | history | asked | Lisanna Dettwyler | CC BY-SA 4.0 |