Multi-sorted logic and logical geometry: some problems. (Q895878)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Multi-sorted logic and logical geometry: some problems.
    scientific article

      Statements

      Multi-sorted logic and logical geometry: some problems. (English)
      0 references
      7 December 2015
      0 references
      multi-sorted algebras
      0 references
      categories
      0 references
      logical geometry
      0 references
      affine spaces
      0 references
      universal algebraic geometry
      0 references
      Halmos algebra
      0 references
      type of a point
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references