排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
Sato Kentaro 《Studia Logica》2008,88(2):295-324
We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters.
We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of
-filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters
will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate
which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that
each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery
is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense.
Presented by Wojciech Buszkowski 相似文献
2.
Bernard Molyneux 《Philosophical Studies》2007,135(2):255-277
Williamson (2000) [Knowledge and its Limits, Oxford: Oxford University Press] argues that attempts to substitute narrow mental states or narrow/environmental composites
for broad and factive mental states will result in poorer explanations of behavior. I resist Williamson’s arguments and use
Twin-Earth style cases to argue for the causal inertness of broad mental states. 相似文献
1