Linked e-resources

Details

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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export