1 search result for "tag:"keyword: extensionality""

Showing 1 - 1
  1. coq-lesniewski-mereology

    No documentation

    Knowledge-based Dependently Typed Language (KDTL)
    keyword: mereology keyword: protothetic keyword: ontology keyword: nominalist theory keyword: extensionality category: Mathematics/Logic/Foundations
    Richard Dapoigny <richard.dapoigny@univ-savoie.fr> [https://www.researchgate.net/profile/Richard_Dapoigny] Patrick Barlatier <patrick.barlatier@univ-savoie.fr> [https://www.researchgate.net/profile/Patrick_Barlatier]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019