On the exponential properties of the implication.
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