4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
10245 | One geometry cannot be more true than another [Poincaré] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
6017 | Nomos is king [Pindar] |