Timeline for Is there a good list of nomenclature for modal axioms?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21, 2015 at 19:33 | comment | added | Frode Alfson Bjørdal | I think I will settle for \begin{sideways}\begin{sideways}4\end{sideways}\end{sideways} with the rotating package for the text I am writing up. The instruction will turn the "4" upside down, and we will have a general scheme for naming converses. | |
| Mar 21, 2015 at 19:03 | comment | added | Bjørn Kjos-Hanssen | Perhaps $ C_4$ or $4_C $? | |
| Mar 21, 2015 at 18:48 | comment | added | Frode Alfson Bjørdal | Yes, I saw that suggestion in the article by James Garson. To my mind it is not a good name as it uses two characters. I like names with only one character (or a character with a glyph) so that we can identify useful combined logics by a series of characters such as KD4.2 or KD45. Garson's term "C4" is, if I remember correctly, motivated by it being the converse of 4. Perhaps by using that idea we could instead name the scema by rotating the numeral "4" 180 degrees? To me that would be an aesthetically more pleasing baptismal. | |
| Mar 21, 2015 at 18:45 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |
added 18 characters in body
|
| Mar 21, 2015 at 18:25 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |