SAL✦ — Fondazione tipizzata della soundness operativa (Trattato A+B)
Abstract
Questo progetto contiene il Trattato A della teoria fondazionale SAL✦, che definisce una struttura tipizzata e non circolare della soundness operativa, separando verità semantica e verdetto procedurale. Il testo è fondazionale, canonico e congelato, accompagnato da formalizzazione in proof assistant verificata. L’opera è di proprietà esclusiva dell’autore ed è utilizzabile solo per ricerca scientifica e verifica, con obbligo di citazione.
Fields of Study & Subjects
Logic
programming
and type systems
Reasoning
and Knowledge
Formal Methods in Verification
Publication details
- Journal / source
- OSF Preprints (OSF Preprints)
- Publication date
- 1 February 2026
- Document type
- Preprint