In this work we solve the following problem: Characterize the subclasses of implication algebras that can be axiomatized by sentences of the form 89! ^ p = q. In the process we obtain a representation result for …nite implication algebras, and as a by-product of our solution a number of interesting classes of implication algebras arise. We also obtain a characterization of the congruence permut...

in this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...

american playwright, eugene gladstone o’neill (1888-1953) is presenter of truth without comprising his beliefs. his works are dramatized by passion elements such as memories, dreams, and by awareness of forces. during mid-1920s he became interested in dramatizing complicated pattern of his family’s life. mourning becomes electra, which opened on oct. 26, 1931, and had fourteen acts, was o'...

despite important  role that has parties volition in the contract based on article 191, contract espousal will be achieve  bused on  advisable something that is under contract the important role that has silence  in the contract may not be responsible but in practice has very legal effects for contract parties. legal volition is formant from implication and adoption since silence  is not, silen...

Many diierent fuzzy implication operators have been proposed; most of them t into one of the two classes: implication operations that are based on an explicit representation of implication A ! B in terms of &, _, and : (e.g., S-implications that are based on the formula B _ :A), and R-implications that are based on an implicit representation of implication A ! B as the weakest C for which C&B i...

In 1926, Ernst Mally proposed the first system of deontic logic. His system turned out to be unacceptable. How can it be repaired? We discuss several proposals to reformulate it in terms of strict implication, relevant implication and strict relevant implication.

In this paper, a set of axioms is given that characterizes those functions I : [0, 1] → [0, 1] for which a left-continuous uninorm U exists in such a way that I is the residual implication derived from U . A characterization for the particular case when U is representable is also given. Keywords— Implication function, left-continuity, residual implication, uninorm.