Arboles de Forzamiento Semántico para la Logica de Predicados
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |