Timeline for Locally consistent theories
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 22, 2016 at 18:58 | comment | added | Mathemologist | Thank you both for your comments, this gives me a good starting place! | |
| Dec 22, 2016 at 18:50 | comment | added | Gerhard Paseman | For contrast and clarity, check out compactness for logical systems, where for first order logic a theory (set of sentences is consistent iff every finite subset is) is not just locally consistent. Gerhard "Not All Logics Are Compact" Paseman, 2016.12.22. | |
| Dec 22, 2016 at 18:47 | comment | added | user44143 | "Relevant logic" answers your question, especially for non-mathematical theories. | |
| Dec 22, 2016 at 18:34 | history | asked | Mathemologist | CC BY-SA 3.0 |