Infinite Forcing for Boolean valued Models
Infinite products in monoids.
Infinite Products of Alephs.
Infinite products of alephs
Infinite terms and a system of natural deduction
Infinitésimaux et intuitionnisme
Information boundedness principle in fuzzy inference process
The information boundedness principle requires that the knowledge obtained as a result of an inference process should not have more information than that contained in the consequent of the rule. From this point of view relevancy transformation operators as a generalization of implications are investigated.
Information frames, implication systems and modalities.
We investigate the logical systems which result from introducing the modalities L and M into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.
Information in vague data sources
This paper deals with the concept of the “size“ or “extent“ of the information in the sense of measuring the improvement of our knowledge after obtaining a message. Standard approaches are based on the probabilistic parameters of the considered information source. Here we deal with situations when the unknown probabilities are subjectively or vaguely estimated. For the considered fuzzy quantities valued probabilities we introduce and discuss information theoretical concepts.
Information Measure for Vague Symbols
The structures of the fuzzy information theory are focused on the concept of fuzzy entropy, where the individual information of symbols is considered only implicitely. This paper aims to fill this gap and to study the concepts of fuzzy information. Special attention is paid to the typical fuzzy set theoretical paradigma of monotonicity of operations.
Inheriting the anti-Specker property.
Inhomogene Operationen reeller Ordinalzahlen.
Initial models and Horn clause axiomatizability.
Initial segments and isomorphic images of nonstandard models of arithmetic
Injectivity in model theory
Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra
Inklusions- und Abstimmungssysteme.
Input-output systems, their types and applications for the automata theory
Integral nets and fuzzy relations in deterministic automata
Integral of Complex-Valued Measurable Function
In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valued measurable functions is considered.MML identifier: MESFUN6C, version: 7.9.01 4.101.1015