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 29 Next

Displaying 561 – 580 of 1306

Showing per page

New kinds of hybrid filters of EQ-algebras

Akbar Paad (2024)

Mathematica Bohemica

The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...

Niven’s Theorem

Artur Korniłowicz, Adam Naumowicz (2016)

Formalized Mathematics

This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].

Non additive ordinal relations representable by lower or upper probabilities

Andrea Capotorti, Giulianella Coletti, Barbara Vantaggi (1998)

Kybernetika

We characterize (in terms of necessary and sufficient conditions) binary relations representable by a lower probability. Such relations can be non- additive (as the relations representable by a probability) and also not “partially monotone” (as the relations representable by a belief function). Moreover we characterize relations representable by upper probabilities and those representable by plausibility. In fact the conditions characterizing these relations are not immediately deducible by means...

Normal forms in partial modal logic

Jan Jaspars (1993)

Banach Center Publications

A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

Normal Subgroup of Product of Groups

Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama (2011)

Formalized Mathematics

In [6] it was formalized that the direct product of a family of groups gives a new group. In this article, we formalize that for all j ∈ I, the group G = Πi∈IGi has a normal subgroup isomorphic to Gj. Moreover, we show some relations between a family of groups and its direct product.

Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T

Anne Preller, P. Duroux (2010)

RAIRO - Theoretical Informatics and Applications

Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.

Note on "construction of uninorms on bounded lattices"

Xiu-Juan Hua, Hua-Peng Zhang, Yao Ouyang (2021)

Kybernetika

In this note, we point out that Theorem 3.1 as well as Theorem 3.5 in G. D. Çaylı and F. Karaçal (Kybernetika 53 (2017), 394-417) contains a superfluous condition. We have also generalized them by using closure (interior, resp.) operators.

Notes on locally internal uninorm on bounded lattices

Gül Deniz Çaylı, Ümit Ertuğrul, Tuncay Köroğlu, Funda Karaçal (2017)

Kybernetika

In the study, we introduce the definition of a locally internal uninorm on an arbitrary bounded lattice L . We examine some properties of an idempotent and locally internal uninorm on an arbitrary bounded latice L , and investigate relationship between these operators. Moreover, some illustrative examples are added to show the connection between idempotent and locally internal uninorm.

Null events and stochastical independence

Giulianella Colleti, Romano Scozzafava (1998)

Kybernetika

In this paper we point out the lack of the classical definitions of stochastical independence (particularly with respect to events of 0 and 1 probability) and then we propose a definition that agrees with all the classical ones when the probabilities of the relevant events are both different from 0 and 1, but that is able to focus the actual stochastical independence also in these extreme cases. Therefore this definition avoids inconsistencies such as the possibility that an event A can be at the...

Currently displaying 561 – 580 of 1306