All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 40 Next

Displaying 781 – 800 of 1306

Showing per page

Remarks on the definitions of main concepts of logic of action

Maria Lewandowska (1991)

Mathématiques et Sciences Humaines

The article presents the definitions of action and of its omission, formulated in some logical theories of action. The concern of the analysis is to point at manifold possibilities of precising the intuitive sense of discussed concepts depending on the theory. The utility of a particular definition may be evaluated when the domain of applicability of the theory is taken into account ; application often becomes justification for the choice of a given definition.

Representation of logic formulas by normal forms

Martina Daňková (2002)

Kybernetika

In this paper, we deal with the disjunctive and conjunctive normal forms in the frame of predicate BL-logic and prove theirs conditional equivalence to appropriate formulas. Our aim is to show approximation ability of special normal forms defined by means of reflexive binary predicate.

Representations of Reals in Reverse Mathematics

Jeffry L. Hirst (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.

Residual implications and co-implications from idempotent uninorms

Daniel Ruiz, Joan Torrens (2004)

Kybernetika

This paper is devoted to the study of implication (and co-implication) functions defined from idempotent uninorms. The expression of these implications, a list of their properties, as well as some particular cases are studied. It is also characterized when these implications satisfy some additional properties specially interesting in the framework of implication functions, like contrapositive symmetry and the exchange principle.

Residuation in twist products and pseudo-Kleene posets

Ivan Chajda, Helmut Länger (2022)

Mathematica Bohemica

M. Busaniche, R. Cignoli (2014), C. Tsinakis and A. M. Wille (2006) showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, we cannot use the same construction for the full twist product. We present another appropriate construction which, however, does not preserve commutativity and associativity of multiplication....

Restricted ideals and the groupability property. Tools for temporal reasoning

J. Martínez, P. Cordero, G. Gutiérrez, I. P. de Guzmán (2003)

Kybernetika

In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]....

Riemann Integral of Functions from ℝ into Real Banach Space

Keiko Narita, Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

In this article we deal with the Riemann integral of functions from R into a real Banach space. The last theorem establishes the integrability of continuous functions on the closed interval of reals. To prove the integrability we defined uniform continuity for functions from R into a real normed space, and proved related theorems. We also stated some properties of finite sequences of elements of a real normed space and finite sequences of real numbers. In addition we proved some theorems about the...

Riemann-Stieltjes Integral

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2016)

Formalized Mathematics

In this article, the definitions and basic properties of Riemann-Stieltjes integral are formalized in Mizar [1]. In the first section, we showed the preliminary definition. We proved also some properties of finite sequences of real numbers. In Sec. 2, we defined variation. Using the definition, we also defined bounded variation and total variation, and proved theorems about related properties. In Sec. 3, we defined Riemann-Stieltjes integral. Referring to the way of the article [7], we described...

Rough membership functions: a tool for reasoning with uncertainty

Z. Pawlak, A. Skowron (1993)

Banach Center Publications

A variety of numerical approaches for reasoning with uncertainty have been investigated in the literature. We propose rough membership functions, rm-functions for short, as a basis for such reasoning. These functions have values in the interval [0,1] and are computable on the basis of the observable information about the objects rather than on the objects themselves. We investigate properties of the rm-functions. In particular, we show that our approach is intensional with respect to the class of...

Currently displaying 781 – 800 of 1306