1 - 7 of 7 articles
In this paper we study correspondences between modal proof rules and the classical logic. The method we apply is based on an Ackermann's technique of eliminating second-order quantifiers from formulas. We show that the process of finding suitable correspondences can be reduced to a few simple...
The semantics for counterfactual conditionals employs indexed relations a between possible worlds, with x >a y read intuitively as «x is closer to a than is y». This paper considers the question how far these different «closeness» relations of a model may be derived from a common source....
This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to «define» propositions using default assumptions about the same propositions is identified as a major source of computational complexity in nonmonotonic...
This paper presents the modification of the algorithm for determining categorial grammars from linguistic data, presented in [BP 90], in two directions: enabling negative input and admitting more types than just the sentence type. The notion of restricted optimal unification is...
This paper deals with the monotonicity of fuzzy conditionals and fuzzy preorders. There are reached necessary conditions of monotonicity for fuzzy conditionals and a characterization for the case of fuzzy preorders. It is pointed out, in particular, how these results are translated to the...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.