Boolean Engine
Deterministic citation verification built on explicit logic, not prediction.
Exact Citation Parsing
Parses and normalizes citations before matching against official records.
Rule-Based Validation
Boolean rules validate format, jurisdiction, and case metadata.
Deterministic Results
Same input yields the same outcome - every time.
A Brief History of Boolean Search
Boolean search comes from classical logic and became the backbone of early information retrieval systems. Libraries, legal databases, and research tools adopted it because it's transparent and reproducible - exactly what legal research demands.
- AND requires all terms to appear (narrower results).
- OR allows any term to appear (broader results).
- NOT excludes terms (filters noise).
- Parentheses group logic to control how queries are evaluated.
How It Works
- Parse citation into structured fields (court, reporter, year, volume, page).
- Match against authoritative sources using strict Boolean checks.
- Validate jurisdiction rules and citation format requirements.
- Return status, confidence, and source metadata for auditing.
Rules We Enforce
- Exact reporter + volume + page matches.
- Jurisdiction and court alignment checks.
- Case name normalization and alias handling.
- Superseding/overruling detection flags.
Output You Receive
- Validity status (good / caution / overruled).
- Confidence score and reason summary.
- Superseding case links (if applicable).
- Source citations for documentation.
Built for Audit Trails
Every verification is traceable. The Boolean Engine produces transparent decisions you can defend in compliance reviews, filings, or internal QA.
Ready to Verify?
Use LexiCite360 to validate citations with deterministic, AI-free logic.