Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
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.
Notational and Logical Completeness in three-Valued Logic
Note on "construction of uninorms on bounded lattices"
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 a class of tiling problems
Notes on locally internal uninorm on bounded lattices
In the study, we introduce the definition of a locally internal uninorm on an arbitrary bounded lattice . We examine some properties of an idempotent and locally internal uninorm on an arbitrary bounded latice , 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
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 can be at the...