On the geometry of intuitionistic S4 proofs.
On The Greatest Congruence Of Relations
On the greatest congruence of relations.
On the Hilbert-Ackermann theorem in fuzzy logic
On the identity of fuzzy material conditionals.
On the Leibniz congruences
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability...
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 orthogonalization of arbitrary Boolean formulae.
On the planarity of the equilateral, isogonal pentagon.
On the propositional system A of Sobocinski
On the Quantifier of Limiting Realizability
On the relation of three-valued logic to modal logic
On the representation of S5 algebras and their automorphism groups.
On the restricted equivalence for subclasses of propositional logic
On the structure and classification of SOMAs: Generalizations of mutually orthogonal Latin squares.
On the structure of continuous uninorms
Uninorms were introduced by Yager and Rybalov [13] as a generalization of triangular norms and conorms. We ask about properties of increasing, associative, continuous binary operation in the unit interval with the neutral element . If operation is continuous, then or . So, we consider operations which are continuous in the open unit square. As a result every associative, increasing binary operation with the neutral element , which is continuous in the open unit square may be given in ...
On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results
On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics
On the -conditionality of -power based implications
It is well known that, in forward inference in fuzzy logic, the generalized modus ponens is guaranteed by a functional inequality called the law of -conditionality. In this paper, the -conditionality for -power based implications is deeply studied and the concise necessary and sufficient conditions for a power based implication being -conditional are obtained. Moreover, the sufficient conditions under which a power based implication is -conditional are discussed, this discussions give an...