LF: a Foundational Higher-Order-Logic
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914646845292544 |
|---|---|
| author | Goodsell, Zachary Yli-Vakkuri, Juhani |
| author_facet | Goodsell, Zachary Yli-Vakkuri, Juhani |
| contents | This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out some key notational conventions, and states some basic technical facts about the system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_11050 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | LF: a Foundational Higher-Order-Logic Goodsell, Zachary Yli-Vakkuri, Juhani Logic 03B16 (Primary), 03-01, 03A05, 03B45 (Secondary) This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out some key notational conventions, and states some basic technical facts about the system. |
| title | LF: a Foundational Higher-Order-Logic |
| topic | Logic 03B16 (Primary), 03-01, 03A05, 03B45 (Secondary) |
| url | https://arxiv.org/abs/2401.11050 |