Distribution Tableaux, Distribution Models
The concept of distribution is a concept within traditional logic that has been fundamental for the syntactic development of Sommers and Englebretsen’s term functor logic, a logic that recovers the term syntax of traditional logic. The issue here, however, is that the semantic counterpart of distrib...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-04-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/9/2/41 |
| _version_ | 1797570383731228672 |
|---|---|
| author | J.-Martín Castro-Manzano |
| author_facet | J.-Martín Castro-Manzano |
| author_sort | J.-Martín Castro-Manzano |
| collection | DOAJ |
| description | The concept of distribution is a concept within traditional logic that has been fundamental for the syntactic development of Sommers and Englebretsen’s term functor logic, a logic that recovers the term syntax of traditional logic. The issue here, however, is that the semantic counterpart of distribution for this logic is still in the making. Consequently, given this disparity between syntax and semantics, in this contribution we adapt some ideas of term functor logic tableaux to develop models of distribution, thus providing some alternative formal semantics to help close this breach. |
| first_indexed | 2024-03-10T20:24:55Z |
| format | Article |
| id | doaj.art-317eb31542c241618a9c5f3d9dcb2ed8 |
| institution | Directory Open Access Journal |
| issn | 2075-1680 |
| language | English |
| last_indexed | 2024-03-10T20:24:55Z |
| publishDate | 2020-04-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Axioms |
| spelling | doaj.art-317eb31542c241618a9c5f3d9dcb2ed82023-11-19T21:53:15ZengMDPI AGAxioms2075-16802020-04-01924110.3390/axioms9020041Distribution Tableaux, Distribution ModelsJ.-Martín Castro-Manzano0Faculty of Philosophy, UPAEP University, Puebla 72410, MexicoThe concept of distribution is a concept within traditional logic that has been fundamental for the syntactic development of Sommers and Englebretsen’s term functor logic, a logic that recovers the term syntax of traditional logic. The issue here, however, is that the semantic counterpart of distribution for this logic is still in the making. Consequently, given this disparity between syntax and semantics, in this contribution we adapt some ideas of term functor logic tableaux to develop models of distribution, thus providing some alternative formal semantics to help close this breach.https://www.mdpi.com/2075-1680/9/2/41semantic treeterm logicdistribution |
| spellingShingle | J.-Martín Castro-Manzano Distribution Tableaux, Distribution Models Axioms semantic tree term logic distribution |
| title | Distribution Tableaux, Distribution Models |
| title_full | Distribution Tableaux, Distribution Models |
| title_fullStr | Distribution Tableaux, Distribution Models |
| title_full_unstemmed | Distribution Tableaux, Distribution Models |
| title_short | Distribution Tableaux, Distribution Models |
| title_sort | distribution tableaux distribution models |
| topic | semantic tree term logic distribution |
| url | https://www.mdpi.com/2075-1680/9/2/41 |
| work_keys_str_mv | AT jmartincastromanzano distributiontableauxdistributionmodels |