Timeline for Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16 at 6:45 | history | edited | Jukka Kohonen |
tag fix (order lattices)
|
|
| Aug 7, 2023 at 10:19 | comment | converted from answer | Buschi Sergio | The correlation between propositional logic and Boole's algebra is a classical and well-treated question (e.g. J.D.Monk "Mathematical Logic" GTM 37, chap. 9, see from 9.54 to 9.60). Helene Rasiowa (and Roman Sikorski) have carried out an in-depth study on the generalization of the relationship between logical structure and related algebraic system. About Heyting algebra see "The mathematics of metamathematics" (by Rasiowa-Sikirski, 1963) chap. IX theorem 7.1 pag.395 and 10.7 pag. 402). Or "An algebraic approach to non-classical logics ", Helena Rasiowa, 1974. | |
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Apr 1, 2014 at 19:05 | vote | accept | godelian | ||
| Apr 1, 2014 at 19:05 | history | edited | godelian | CC BY-SA 3.0 |
added 162 characters in body
|
| Apr 1, 2014 at 16:28 | answer | added | François G. Dorais | timeline score: 6 | |
| Apr 1, 2014 at 14:52 | history | edited | godelian | CC BY-SA 3.0 |
added 525 characters in body
|
| Apr 1, 2014 at 5:32 | answer | added | Joseph Van Name | timeline score: 5 | |
| Apr 1, 2014 at 5:14 | answer | added | მამუკა ჯიბლაძე | timeline score: 2 | |
| Apr 1, 2014 at 1:29 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Apr 1, 2014 at 0:21 | history | asked | godelian | CC BY-SA 3.0 |