Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Martinez-Rivillas, Daniel O., Ramos, Arthur F., de Queiroz, Ruy J. G. B.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science 03B40, 68Q55, 18N50 F.3.2; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2604.12981