March 1997 (revised July 1997) ISSN 1100{0686 Some Undecidable Problems Related to the Herbrand Theorem Yuri Gurevich Margus Veanes EECS Department Computing Science Department University of Michigan Uppsala University Ann Arbor, MI 48109-2122 Box 311, S-751 05 Uppsala USA Sweden [email protected] [email protected] Abstract We improve upon a number of recent undecidability results related to th...

A. An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this semantics is both sound and complete for the logic. In the semantics, resources of a distributed system are interpreted as atoms, and pl...

Similarity of intuitionistic fuzzy sets is an important measure to indicate the similarity degree between intuitionistic fuzzy sets. Based on the information carried by transforming intuitionistic fuzzy sets into their lower, upper and middle fuzzy sets, we propose a new construction for similarity measures between intuitionistic fuzzy sets. The proposed construction method on similarity measur...

Intuitionistic fuzzy rough sets are investigated in a general framework which includes generalizations of many related results in early literatures. A new definition of intuitionistic fuzzy rough sets is given with the analysis of its basic properties based on the notion of two universes, general binary relations, and a pair ðT , IÞ of intuitionistic fuzzy t-norm T and intuitionistic fuzzy impl...

This paper investigates the fractals generated by the dynamical system of intuitionistic fuzzy contractions in the intuitionistic fuzzy metric spaces by generalizing the Hutchinson-Barnsley theory. We prove some existence and uniqueness theorems of fractals in the standard intuitionistic fuzzy metric spaces by using the intuitionistic fuzzy Banach contraction theorem. In addition to that, we an...

The main purpose of this paper is to prove the intuitionistic fuzzy contraction properties of the Hutchinson-Barnsley operator on the intuitionistic fuzzy hyperspace with respect to the Hausdorff intuitionistic fuzzy metrics. Also we discuss about the relationships between the Hausdorff intuitionistic fuzzy metrics on the intuitionistic fuzzy hyperspaces. Our theorems generalize and extend some...

In this paper basic notions of the rough intuitionistic fuzzy set theory will be given. In fact the paper concerns a relationship between rough intuitionistic fuzzy sets and lattice theory. We shall introduce the notion of rough intuitionistic fuzzy lattice (resp rough intuitionistic fuzzy ideals). We also defined intuitionistic fuzzy rough set corresponding to a rough set and given conditions ...

The intuitionistic fuzzification of (strong, weak, s-weak) hyperBCK-ideals is introduced, and related properties are investigated. Characterizationsof an intuitionistic fuzzy hyper BCK-ideal are established. Using acollection of hyper BCK-ideals with some conditions, an intuitionistic fuzzyhyper BCK-ideal is built.

The object of this paper is to introduce the notion of intuitionisticfuzzy continuous mappings and intuitionistic fuzzy bounded linear operatorsfrom one intuitionistic fuzzy n-normed linear space to another. Relation betweenintuitionistic fuzzy continuity and intuitionistic fuzzy bounded linearoperators are studied and some interesting results are obtained.

Focusing is a proof-theoretic device to structure proof search in the sequent calculus: it provides a normal form to cut-free proofs in which the application of invertible and non-invertible inference rules is structured in two separate and disjoint phases. Although stemming from proofsearch considerations, focusing has not been thoroughly investigated in actual theorem proving, in particular w...