共查询到20条相似文献,搜索用时 31 毫秒
2.
3.
4.
5.
6.
7.
In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called and , and a sequence of finitary valued versions . We define decision procedures for both and that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of , we design a sound and complete sequent calculus for this logic. 相似文献
8.
There are two versions of type assignment in the λ-calculus: Church-style, in which the type of each variable is fixed, and Curry-style (also called “domain free”), in which it is not. As an example, in Church-style typing, is the identity function on type A, and it has type but not for a type B different from A. In Curry-style typing, is a general identity function with type for every type C. In this paper, we will show how to interpret in a Curry-style system every Pure Type System (PTS) in the Church-style without losing any typing information. We will also prove a kind of conservative extension result for this interpretation, a result which implies that for most consistent PTSs of the Church-style, the corresponding Curry-style system is consistent. We will then show how to interpret in a system of the Church-style (a modified PTS, stronger than a PTS) every PTS-like system in the Curry style. 相似文献
9.
10.
11.
12.
13.
15.
There is a new probabilistic paradigm in the psychology of reasoning that is, in part, based on results showing that people judge the probability of the natural language conditional, if then , , to be the conditional probability, . We apply this new approach to the study of a very common inference form in ordinary reasoning: inferring the conditional if not-then from the disjunction or . We show how this inference can be strong, with (if not-then ) “close to” , when or is non-constructively justified. When or is constructively justified, the inference can be very weak. We also define suitable measures of “closeness” and “constructivity”, by providing a probabilistic analysis of these notions. 相似文献
16.
17.
18.
19.