- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Aristotelian Assertoric Syllogistic
Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic
Mohamed A Amer
68,95 €
+ 137 points
Description
1. Formalizations of AAS2. Semantics of AAS3. Decidability4. Basic equivalence of the four formalizations5. Venn soundness and completeness6. Direct way to Venn models7. Variations on NF(C)8. Direct completion of direct deduction9. Models of NF(C) revisited10. Decidability revisited11. Sorites12. Independence13. Algebraic semantics of AAS, a prelude14. Algebraic interpretation of NF(C)15. Annihilators: Embedding the partial into a total16. Back to algebraic interpretation17. Leibniz and Boole18. Inadequacy: bounds of AASAcknowledgementsAppendix
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 98
- Langue:
- Anglais
- Collection :
Caractéristiques
- EAN:
- 9783030873400
- Date de parution :
- 17-03-22
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 172 g
