Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
| Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer |
| Autore | Amer Mohamed A. |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (100 pages) |
| Disciplina | 185 |
| Collana | SpringerBriefs in Philosophy |
| Soggetto topico |
Logic
Formal Logic Philosophical Logic Sil·logisme |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030873417
9783030873400 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. |
| Record Nr. | UNISA-996466554503316 |
Amer Mohamed A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
| Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer |
| Autore | Amer Mohamed A. |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (100 pages) |
| Disciplina |
185
166 |
| Collana | SpringerBriefs in Philosophy |
| Soggetto topico |
Logic
Formal Logic Philosophical Logic Sil·logisme |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030873417
9783030873400 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. |
| Record Nr. | UNINA-9910552733603321 |
|
Amer Mohamed A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||