On A Class Of Sentential Functions
On a class of sentential functions.
On A Many-Valued Sentential Calculus
On closed classes of quasilinear functions
On functions that cannot be mv-truth values in algebraic structures.
It is shown, in a general frame and playing with idempotency, that in order to have on a given lattice a Multiple Valued Logic preserving the lattice structure, the only t-norms and t-conorms allowing to modelize the truth values of a v b, a ^ b and a --> b are Min and Max, respectively, apart from ordinal sums.
On general and reproductive solutions of finite equations.
On generating large classes of Sheffer functions.
On logical fiberings and automated deduction in many-valued logics using Gröbner bases.
The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic as a logical fibering. The Stone isomorphism for expressing classical logical operations by corresponding polynomials can be extended to m-valued logics. On the basis of this, a classical deduction problem can be treated symbolically as a corresponding ideal membership problem using computer algebra support with...
On permutographs
On probability of first order formulas in a given model
On some contributions to quantum structures by fuzzy sets
It is well known that the fuzzy sets theory can be successfully used in quantum models ([5, 26]). In this paper we give first a review of recent development in the probability theory on tribes and their generalizations – multivalued (MV)-algebras. Secondly we show some applications of the described method to develop probability theory on IF-events.
On some Generalizations of a Class of Discrete Functions
In this paper we examine discrete functions that depend on their variables in a particular way, namely the H-functions. The results obtained in this work make the “construction” of these functions possible. H-functions are generalized, as well as their matrix representation by Latin hypercubes.
On the Beth property in extension of Lukasiewicz logics.
On The Exponential Properties Of The Implication
On the exponential properties of the implication.
On the Hilbert-Ackermann theorem in fuzzy logic
On the number of closed subsets of linear functions in the 6-valued logic
On the number of monotonic functions from two-valued logic to -valued logic
On the propositional system A of Sobocinski
On the relation of three-valued logic to modal logic