MATHEMATICAL LOGICAL INTELLIGENCE Trademark
Trademark Overview
On Monday, August 25, 2025, a trademark application was filed for MATHEMATICAL LOGICAL INTELLIGENCE with the United States Patent and Trademark Office. The USPTO has given the MATHEMATICAL LOGICAL INTELLIGENCE trademark a serial number of 99356388. The federal status of this trademark filing is NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER as of Monday, August 25, 2025. This trademark is owned by LogiQAI Solutions Inc.. The MATHEMATICAL LOGICAL INTELLIGENCE trademark is filed in the Computer & Software Services & Scientific Services category with the following description:
Software as a service (SaaS) featuring cloud-based artificial intelligence (AI) software for automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems for business-to-business (B2B) use; Providing online non-downloadable artificial intelligence (AI) software for use in automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems
General Information
| Serial Number | 99356388 |
| Word Mark | MATHEMATICAL LOGICAL INTELLIGENCE |
| Filing Date | Monday, August 25, 2025 |
| Status | 630 - NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER |
| Status Date | Monday, August 25, 2025 |
| Registration Number | 0000000 |
| Registration Date | NOT AVAILABLE |
| Mark Drawing | 4 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form |
| Published for Opposition Date | NOT AVAILABLE |
Trademark Statements
| Goods and Services | Software as a service (SaaS) featuring cloud-based artificial intelligence (AI) software for automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems for business-to-business (B2B) use; Providing online non-downloadable artificial intelligence (AI) software for use in automated reasoning, mathematical computation and assistance, formal proof verification, and analysis of critical systems |
Classification Information
| International Class | 042 - Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software. |
| US Class Codes | 100, 101 |
| Class Status Code | 6 - Active |
| Class Status Date | Monday, August 25, 2025 |
| Primary Code | 042 |
| First Use Anywhere Date | NOT AVAILABLE |
| First Use In Commerce Date | NOT AVAILABLE |
Trademark Owner History
| Party Name | LogiQAI Solutions Inc. |
| Party Type | 10 - Original Applicant |
| Legal Entity Type | 03 - Corporation |
| Address | Hillsborough, CA 94010 |
Trademark Events
| Event Date | Event Description |
| Monday, August 25, 2025 | NEW APPLICATION ENTERED |
| Monday, August 25, 2025 | NEW APPLICATION OFFICE SUPPLIED DATA ENTERED |
| Monday, August 25, 2025 | APPLICATION FILING RECEIPT MAILED |
