Publications
SEMT is informed by a body of academic work in logic, epistemology, and the theory of verification under constraints. These publications describe the theoretical foundations from which the SEMT platform originated.
Reading these materials is not required to understand or use the SEMT platform. They are provided for researchers, reviewers, and partners interested in the conceptual background and formal motivation.
Research areas
Foundational logic and verifiability
This work introduces a structured view of verifiability under bounded inference, including layered notions of support and undecidability. It reframes classical results in logic and metamathematics in terms of accessibility rather than absolute truth.
Recursive and reflective systems
Explores epistemic circularity, self-reference, and reflective reasoning in formal systems. This research is primarily relevant to philosophical logic and model theory.
AI systems and verification boundaries
Examines the limits of machine-generated claims and the importance of explicit uncertainty and scope boundaries in AI-assisted systems. This includes early conceptual work related to classification and verification-aware tooling.
Further references
Note: These publications describe theoretical foundations and research perspectives. The SEMT platform is developed and delivered independently as a practical decision review and governance system.