An extension of the probability logic
An ILP model for a monotone graded classification problem
Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised annotated...
An implementation of the induction rule into resolution procedures for automatic theorem proving.
An improved formulation of axioms for quantum mechanics
An improved inductive definition of two restricted classes of triangulations of the plane
An incremental approach to obtaining attribute reduction for dynamic decision systems
In the 1960s Professor Hu Guoding proposed a method of measuring information based on the idea that connotation and denotation of a concept satisfies inverse ratio rule. According to this information measure, firstly we put forward the information quantity for information systems and decision systems; then, we discuss the updating mechanism of information quantity for decision systems; finally, we give an attribute reduction algorithm for decision tables with dynamically varying attribute values....
An indecomposable Banach space of continuous functions which has small density
Using the method of forcing we construct a model for ZFC where CH does not hold and where there exists a connected compact topological space K of weight such that every operator on the Banach space of continuous functions on K is multiplication by a continuous function plus a weakly compact operator. In particular, the Banach space of continuous functions on K is indecomposable.
An independency result in connectification theory
A space is called connectifiable if it can be densely embedded in a connected Hausdorff space. Let be the following statement: “a perfect -space with no more than clopen subsets is connectifiable if and only if no proper nonempty clopen subset of is feebly compact". In this note we show that neither nor is provable in ZFC.
An individual ergodic theorem for random fuzzy sets.
An inheritance criterion for the admissible inference rules of K4.
An inquiry-based method for Choquet integral-based aggregation of interface usability parameters
The concept of usability of man-machine interfaces is usually judged in terms of a number of aspects or attributes that are known to be subject to some rough correlations, and that are in many cases given different importance, depending on the context of use of the application. In consequence, the automation of judgment processes regarding the overall usability of concrete interfaces requires the design of aggregation operators that are capable of modeling approximate or ill-defined interactions...
An intensional approach to questions
An interpretation of in -NIA.
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
An intuitionistic logic with probablistic operators.
An intuitionistic omitting types theorem.
An Intuitionistic Ommiting Types Theorem
An invariant for difference field extensions
In this paper we introduce a new invariant for extensions of difference fields, the distant degree, and discuss its properties.
An investigation on the -fold IVRL-filters in triangle algebras
The present study aimed to introduce -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of -fold (positive) implicative IVRL-extended filters and -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the -fold IVRL-extended filters, -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.
An irrational problem
Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define to be X ∩ M with topology generated by . Suppose is homeomorphic to the irrationals; must ? We have partial results. We also answer a question of Gruenhage by showing that if is homeomorphic to the “Long Cantor Set”, then .