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...
O dynamické logice
O intuicionismu
Object-Free Definition of Categories
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two properties:...
Objects in relational database schemes with functional, inclusion, and exclusion dependencies
Observation Space And Observables In Classical Mechanics
Observation space and observables in classical mechanics.
Omitting types algebraically
On -categoricity and the theory of trees
On 2nd order intuitionistic propositional calculus with full comprehension.
On A Class Of Sentential Functions
On a class of sentential functions.
On a connection between algebra, logic and linguistics
On a connection between the word problem and decidability of the equational theory.
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
On a functional equation connected to the distributivity of fuzzy implications over triangular norms and conorms
Distributivity of fuzzy implications over different fuzzy logic connectives have a very important role to play in efficient inferencing in approximate reasoning, especially in fuzzy control systems (see [9, 15] and [4]). Recently in some considerations connected with these distributivity laws, the following functional equation appeared (see [5]) where and is an unknown function. In this paper we consider in detail a generalized version of this equation, namely the equation where are functions...