Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators

1991 ◽  
pp. 31-51 ◽  
Author(s):  
J. Michael Dunn
Keyword(s):  
Logical Operators ◽  
Galois Connections ◽  
Gaggle Theory

scholarly journals Fuzzy Galois connections on fuzzy sets

2018 ◽  
Vol 352 ◽  
pp. 26-55 ◽  
Author(s):  
Javier Gutiérrez García ◽  
Hongliang Lai ◽  
Lili Shen
Keyword(s):  
Fuzzy Sets ◽  
Galois Connections

QUANTUM COMPUTATIONAL SCHEMES GENERATED BY k-BOSON ALGEBRAS

2007 ◽  
Vol 05 (01n02) ◽  
pp. 229-234
Author(s):  
FRANCESCO A. RAFFA ◽  
MARIO RASETTI
Keyword(s):  
Cnot Gate ◽  
Logical Operators ◽  
Computational Schemes ◽  
Computational Basis

It is shown that a multiboson (k-boson) algebra can be conveniently utilized to generate a k-dimensional computational basis. The single qukit logical operators are given ∀k and two different constructions of the CNOT gate are presented.

A Relational Extension of Galois Connections

2019 ◽  
pp. 290-303
Author(s):  
Inma P. Cabrera ◽  
Pablo Cordero ◽  
Emilio Muñoz-Velasco ◽  
Manuel Ojeda-Aciego
Keyword(s):  
Galois Connections

Triadic fuzzy Galois connections as ordinary connections

2014 ◽  
Vol 249 ◽  
pp. 83-99 ◽  
Author(s):  
Radim Belohlavek ◽  
Petr Osicka
Keyword(s):  
Galois Connections

) To each classification index subsets transformation. Classification level knowledge, based on the afore mentioned domain is given, where q is better to classification index system. The knowledge was be an odd number so that we can have a middle expressed as production rule with a basic structure level. below: To quantify each indicator in of a certain ad to all categories classified by single in which, A is the production prerequisite, and B indicator is determined. The value of membership is a set of conclusions. Both A and B can generously function can be determined by using expert scoring be expressions composed by text, numbers, and method. So u we can have the single indicator fuzzy logical operators AND, OR, and NOT. matrix . Here in our research, the prerequisite A led by IF The fuzzy weight vector of every indicators of production rule was the classification index of in ,, a ) the corresponding membership function. Before performing the synthesis process, When single indicator was used in classification, generated. Such as the Single Factor in Fig.1, four of (2) its specific indicators were empty, single emotion,

2015 ◽  
pp. 223-226
Keyword(s):  
Basic Structure ◽  
Weight Vector ◽  
Production Rule ◽  
Synthesis Process ◽  
Single Factor ◽  
Logical Operators ◽  
Single Indicator ◽  
Knowledge Based ◽  
Fuzzy Weight ◽  
Classification Index

scholarly journals Baer-Galois connections and applications

2014 ◽  
Vol 30 (2) ◽  
pp. 225-229
Author(s):  
GABRIELA OLTEANU ◽  
Keyword(s):  
Modular Lattices ◽  
Galois Connections ◽  
Baer Modules

We define Baer-Galois connections between bounded modular lattices. We relate them to lifting lattices and we show that they unify the theories of (relatively) Baer and dual Baer modules.

Sign in / Sign up

Export Citation Format

Share Document