Timeline for Adjunction between classic and intuitionistic logic
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 17, 2011 at 13:02 | comment | added | Michal R. Przybylek | The usual homomorphisms of algebras, which are monotonic on logical values (i.e. if r is a relation symbol then r(h(x_1), ..., h(x_n)) >= r(x_1, ..., x_n)). | |
| Mar 17, 2011 at 12:18 | comment | added | Emil Jeřábek | What are the morphisms of $\mathit{Mod}_H(\Sigma)$? | |
| Mar 17, 2011 at 9:17 | history | edited | Michal R. Przybylek | CC BY-SA 2.5 |
Some explanation added
|
| Mar 16, 2011 at 20:37 | history | edited | Zev Chonoles | CC BY-SA 2.5 |
fixed latex (backslashes before underscores are often necessary)
|
| Mar 16, 2011 at 20:12 | history | asked | Michal R. Przybylek | CC BY-SA 2.5 |