Timeline for Can every sentence of first-order logic be converted into an equisatisfiable equation in Boolean algebra?
Current License: CC BY-SA 4.0
32 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 15, 2020 at 7:30 | history | edited | Patrick Browne | CC BY-SA 4.0 |
deleted 6 characters in body
|
| Oct 14, 2020 at 23:45 | comment | added | ShyPerson | Yes, probably best to ask a new separate question. | |
| Oct 14, 2020 at 12:03 | history | edited | Patrick Browne | CC BY-SA 4.0 |
edited title
|
| Oct 14, 2020 at 11:52 | history | edited | Patrick Browne | CC BY-SA 4.0 |
edited title
|
| Oct 14, 2020 at 10:44 | comment | added | Patrick Browne | @ShyPerson Equisatisfiability of the translation may be enough for my purposes. I wish to prove certain first order axioms hold in some model. I wish to show that certain ontological axioms hold in CafeOBJ's functional programming sub-language (an initial algebra). I suppose I should re-ask the question in terms of equisatisfiability. | |
| Oct 14, 2020 at 0:45 | comment | added | ShyPerson | But equisatisfiability is not enough. The problem that remains is to show that the subsystem of CafeOBJ3 in question has the same deductive power as first order logic. In particular, first order logic is complete, so this subsystem of CafeOBJ3 must be shown to be complete. | |
| Oct 13, 2020 at 10:59 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 7 characters in body
|
| Oct 13, 2020 at 9:06 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 317 characters in body
|
| Oct 13, 2020 at 8:48 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 118 characters in body
|
| Oct 13, 2020 at 5:24 | comment | added | ShyPerson | Yes, they are equisatisfiable. | |
| Oct 12, 2020 at 18:00 | comment | added | Patrick Browne | Having asked someone in the know, I believe that my translation is satisfiable if and only if the original FOLis satisfiable (equisatisfiable). | |
| Oct 12, 2020 at 9:07 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 68 characters in body
|
| Oct 8, 2020 at 18:27 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 178 characters in body
|
| Oct 5, 2020 at 16:51 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 69 characters in body
|
| Oct 5, 2020 at 10:44 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 41 characters in body
|
| Oct 4, 2020 at 18:15 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 18 characters in body
|
| Oct 4, 2020 at 17:26 | history | edited | Patrick Browne |
edited tags
|
|
| Oct 4, 2020 at 15:11 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 67 characters in body
|
| Oct 4, 2020 at 14:36 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 166 characters in body
|
| Oct 4, 2020 at 14:24 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 57 characters in body
|
| Oct 4, 2020 at 11:48 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 45 characters in body
|
| Oct 4, 2020 at 10:14 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 59 characters in body
|
| Oct 4, 2020 at 10:07 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 104 characters in body
|
| Oct 4, 2020 at 9:55 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 59 characters in body
|
| Oct 4, 2020 at 7:28 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 96 characters in body
|
| Oct 4, 2020 at 7:16 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 101 characters in body
|
| Oct 3, 2020 at 22:34 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 88 characters in body
|
| Oct 3, 2020 at 16:49 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 316 characters in body
|
| Oct 3, 2020 at 16:41 | history | edited | Patrick Browne | CC BY-SA 4.0 |
edited title
|
| Oct 3, 2020 at 16:34 | history | edited | Patrick Browne | CC BY-SA 4.0 |
edited title
|
| Oct 3, 2020 at 13:46 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 205 characters in body
|
| Oct 3, 2020 at 13:35 | history | asked | Patrick Browne | CC BY-SA 4.0 |