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 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.
2018 ◽
2019 ◽
Vol 146
(2)
◽
pp. 119
◽
Keyword(s):
2009 ◽
Vol 34
(7)
◽
pp. 736-742
◽