KFX: Minimal Core Formal System

2026 Preprint Open access

Read full text
Authors: kaifanxie
DOI: 10.17605/osf.io/jwypn
Cited by: 0

Abstract

A minimal constrained-path formal system illustrating rigidity induced by global admissibility constraints. This project serves as a reference implementation and discussion hub.

Fields of Study & Subjects

Logic programming and type systems semigroups and automata theory Formal Methods in Verification

Publication details

Publication date
1 January 2026
Document type
Preprint