Logical Grounding
The Case of “ if‐then‐else”
Bibliographic Data
| ID | 20142068 |
|---|---|
| Authors | Nissim Francez (0000-0002-6993-4392, Faculty of Computer Science, Technion ‐ IIT, corresponding author) |
| Year | 2021 |
| Volume | 87 |
| Issue | 5 |
| Pages | 1175-1192 |
| Publication date | 2021-10-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/theo.12336 |
| OpenAlex | W3188244895 |
| Language | EN |
| References cited | 12 |
The paper proposes grounding the ternary connective “if ... then ... else” (classically interpreted), thus far not considered in the logical grounding literature. In doing so, a new kind of plural grounding, called collective immediate grounding , is proposed as more adequate than the traditional complete immediate grounding in avoiding redundancy. The approach is proof‐theoretic
Calculus (dental) · Electrical engineering · Ground · Linguistics · Plural · Redundancy (engineering) · Computer Science · Engineering · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy · Semantic Web and Ontologies
| Highly cited | No |
|---|