Results 141 to 150 of about 2,012 (164)
Some of the next articles are maybe not open access.
Sheffer Stroke Fuzzy Implications
2017A new family of fuzzy implications, motivated by classic Sheffer stroke operator, is introduced. Sheffer stroke, which is a negation of a conjunction and is called NAND as well, is one of the two operators that can be used by itself, without any other logical operators, to constitute a logical formal system.
Wanda Niemyska +2 more
openaire +1 more source
Fuzzy filters of Sheffer stroke Hilbert algebras
Journal of Intelligent & Fuzzy Systems, 2021The aim of this study is to introduce fuzzy filters of Sheffer stroke Hilbert algebra. After defining fuzzy filters of Sheffer stroke Hilbert algebra, it is shown that a quotient structure of this algebra is described by its fuzzy filter. In addition to this, the level filter of a Sheffer stroke Hilbert algebra is determined by its fuzzy filter.
Saeid, Arsham Borumand +2 more
openaire +2 more sources
Stabilizers on Sheffer stroke BL-algebras
2022Summary: In this study, new properties of various filters on a Sheffer stroke BL-algebra are studied. Then some new results in filters of Sheffer stroke BL-algebras are given. Also, stabilizers of nonempty subsets of Sheffer stroke BL-algebras are defined and some properties are examined.
Oner, Tahsin +2 more
openaire +2 more sources
Hesitant Fuzzy Structures on Sheffer Stroke BCK-Algebras
New Mathematics and Natural Computation, 2022The main objective of the study is to introduce a hesitant fuzzy structures on Sheffer stroke BCK-algebras related to their subsets (subalgebras as possible as). Then it is proved that every hesitant fuzzy ideal of a Sheffer stroke BCK-algebra related to the subset is the hesitant fuzzy subalgebra.
Katican, Tugce +2 more
openaire +2 more sources
On Fuzzy Sheffer Stroke Operation
2018The generalization of the classical logical connectives to the fuzzy logic framework has been one of the main research lines since the introduction of fuzzy logic. Although many classical logical connectives have been already generalized, the Sheffer stroke operation has received scant attention.
Piotr Helbin +5 more
openaire +1 more source
Study Groupoids by Sheffer stroke
Asian-European Journal of MathematicsIn this study, we study groupoids by Sheffer stroke. By defining subgroupoids and ideals of a groupoid with Sheffer stroke, it is proved that every ideal of a groupoid with Sheffer stroke is a subgroupoid but the converse is generally not true. Also, a congruence relation is described on the groupoid by means of ideals, and a quotient groupoid with ...
Tugce Katican +3 more
openaire +1 more source
Intuitionistic fuzzy filters in Sheffer stroke Hilbert algebras
Summary: Using the Atanassov's intuitionistic fuzzy set, the concept of intuitionistic fuzzy deductive system and intuitionistic fuzzy filter in Sheffer stroke Hilbert algebras is introduced, several properties are investigated. The conditions under which an intuitionistic fuzzy set can be an intuitionistic fuzzy filter are explored, and ...Oner, Tahsin +2 more
openaire +1 more source
SHEFFER’S STROKE: A STUDY IN PROOF-THEORETIC HARMONY
DANISH YEARBOOK OF PHILOSOPHY, 1999In order to explicate Gentzen’s famous remark that the introduction-rules for logical constants give their meaning, the elimination-rules being simply consequences of the meaning so given, we develop natural deduction rules for Sheffer’s stroke, alternative denial. The first system turns out to lack Double Negation. Strengthening the introduction-rules
openaire +1 more source
SR-fuzzy filters in Sheffer stroke BL-algebras
Journal of Algebraic Hyperstructures and Logical AlgebrasThe concepts of SR-fuzzy quasi-subalgebras and (ultra) SR-fuzzy filters over Sheffer stroke BL-algebras are introduced for the study of quasi-subalgebras and (ultra) filters using the SR-fuzzy set, and various properties are investigated accordingly.
Y.B. Jun, E. Yang, E. Hwan Roh
openaire +1 more source
On the Sheffer stroke operation in fuzzy logic
Fuzzy Sets and Systems, 2022Michal Baczynski +2 more
exaly

