Timeline for IF we weaken comprehension of second order logic to first order formulas, would the resulting system be a conservative extension of FOL?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2020 at 13:34 | vote | accept | Zuhair Al-Johar | ||
| Aug 25, 2020 at 13:15 | history | answered | Rodrigo Freire | CC BY-SA 4.0 |