Behrostaghi M.A, "Aspect of Basic Logic", Ph.d*D. Thesis University of Milwaukee, Wisconsin, 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Intuitive Reasoning with Pseudo-Intuitionistic Semantics - Cedric Thienot Laforia (Correct)
....v of W such as wR=v : w = v : v W and wR v . We note W the set of all the hereditary sets of w W. 3. Belief Function on Kripke Like Semantics. Before introducing a variation of belief functions, we have to define a set K. Actually, belief functions instead of being applications from 2W to [0,1], will be application from W to K. Definition of world level Consider a model (W, R, i) Let n be the maximal path length of the graph associated to W and let n w be, for each w W, the maximal length of a path between w and an initial world. We call initial level of w, the integer n nw. ....
Behrostaghi M.A, "Aspect of Basic Logic", Ph.d*D. Thesis University of Milwaukee, Wisconsin, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC