Timeline for About logical axioms of propositional logic.
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 26, 2011 at 15:32 | comment | added | Buschi Sergio | Thank you very much Zhen Lin. For " propositional logic" I was mean tha classical one (the Lindembaum algebra is the free boolean algebra on the primitive (atomic) proposition), and as the above $(1), (2), (3)$ as axioms . Now I realize that axiom $(3)$ isnt derivable from the Johnstone genaral categorical logic, because is about tha particular boolean context. Can you hint me some books about "general propositional logic"? | |
| Dec 26, 2011 at 13:50 | history | answered | Zhen Lin | CC BY-SA 3.0 |