GleanMark

MATHEMATICAL LOGICAL INTELLIGENCE Trademark

MATHEMATICAL LOGICAL INTELLIGENCE is a USPTO trademark filed by LogiQAI Solutions Inc.. Status: Abandoned.

Trademark Facts

MarkMATHEMATICAL LOGICAL INTELLIGENCE
Serial Number99356388
StatusAbandoned
Filing Date2025-08-25
Mark TypeWord
Nice Classes042 (Software & IT)
OwnerLogiQAI Solutions Inc.
Attorney of RecordMark A. Jansen, Esq.
Prosecution Events12
Latest EventABN2 on 2026-04-30

Goods & Services

Class 042: 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

Recent Prosecution Activity

DateDocumentType
2026-04-30ABANDONMENT-NoticeABN
2026-01-12Non-Final ActionNFIN
2026-01-10XSearch Search SummaryXSS
2025-08-25ApplicationAPP

USPTO Refusals on Record

Related