Non-Classical Logic Research is an open, curated Zenodo community for surveys, proposed systems, metatheory, formal verification, countermodels, open problems, software, datasets, and reproducibility artifacts concerning non-classical and universal logics.

The community is owned by Joaquim Reizi Higuchi (ORCID: 0009-0006-1392-3770). Contact is available through the Zenodo community owner and request interface.

Candidate systems are welcome only when their status is explicit. Community inclusion is not evidence that a candidate is new, useful, mathematically correct, or externally peer reviewed.

Logo provenance: original bitmap logo generated with OpenAI image generation assistance on 19 July 2026 for this community; no third-party trademark or source artwork was intentionally used.