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...
On a logical formalization of natural language
On A Many-Valued Sentential Calculus
On a Problem of Boone.
On a special class of left-continuous uninorms
This paper is devoted to the study of a class of left-continuous uninorms locally internal in the region and the residual implications derived from them. It is shown that such uninorm can be represented as an ordinal sum of semigroups in the sense of Clifford. Moreover, the explicit expressions for the residual implication derived from this special class of uninorms are given. A set of axioms is presented that characterizes those binary functions for which a uninorm of this special class exists...
On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
On a unification problem related to Kreisel's conjecture