Leśniewski's ontology extended with the axiom of choice
| Autor: | James George Kowalski |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1977 |
| Předmět: | |
| Zdroj: | Notre Dame J. Formal Logic 18, no. 1 (1977), 1-78 |
| Popis: | Apres avoir developpe de facon suffisante l'ontologie de Lesniewski, l'A. demontre que certains principes connus comme equivalents a l'axiome du choix (lemme de Kuratowski Zorn, principe du bon ordre) sont aussi equivalents dans l'ontologie de Lesniewski. Puis il modifie la regle de l'ontologie de facon a assurer que l'axiome de choix soit valable dans chaque categorie semantique exprimable dans l'ontologie. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|