Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2309.16015 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910571534745600 |
|---|---|
| author | Aristizábal, Manuel Sierra |
| author_facet | Aristizábal, Manuel Sierra |
| contents | Model semantics for first-order predicate logic is characterized by a visual inference tool called semantic forcing trees for predicate logic. Formulas that are valid (or invalid) by semantic forcing trees match valid (or invalid) formulas by the usual valuation semantics. In the event that the formula is invalid by a forcing tree, a model that refutes it is determined by the marks of the leaves of this tree. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_16015 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Arboles de Forzamiento Semántico para la Logica de Predicados Aristizábal, Manuel Sierra Logic 03B10 Model semantics for first-order predicate logic is characterized by a visual inference tool called semantic forcing trees for predicate logic. Formulas that are valid (or invalid) by semantic forcing trees match valid (or invalid) formulas by the usual valuation semantics. In the event that the formula is invalid by a forcing tree, a model that refutes it is determined by the marks of the leaves of this tree. |
| title | Arboles de Forzamiento Semántico para la Logica de Predicados |
| topic | Logic 03B10 |
| url | https://arxiv.org/abs/2309.16015 |