Results 81 to 90 of about 686,932 (192)
Interpretation of Fuzzy Attribute Subsets in Generalized One-Sided Concept Lattices
In this paper we describe possible interpretation and reduction of fuzzy attributes in GeneralizedOne-sided Concept Lattices (GOSCL). This type of concept lattices represent generalization ofFormal Concept Analysis (FCA) suitable for analysis of ...
Peter Butka, Jozef Pocs, Jana Pocsova
doaj
Fuzzy Galois connections on fuzzy sets [PDF]
In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory.
Shen, Lili +2 more
core +1 more source
Notions of Galois connections for Bilattices [PDF]
Τα διπλέγματα (bilattices) είναι αλγεβρικές δομές προερχόμενες από τα πεδία της αναπαράστασης γνώσης και της μη μονοτονικής λογικής· αποτελούνται από ένα σύνολο εφοδιασμένο με δύο πλέγματα (lattices), όπου το ένα μοντελοποιεί το βαθμό αλήθειας και το ...
Pitsiladis Georgios +1 more
core +1 more source
Given a Galois cover of curves over F_p , we relate the p-adic valuation of epsilon constants appearing in functional equations of ArtinL-functions to an equivariant Euler characteristic.
Köck, Bernhard +3 more
core +1 more source
A Galois Connection for Reduced Incidence Algebras [PDF]
If N = { 1 , ⋯
openaire +1 more source
Maps on surfaces and Galois groups [PDF]
A brief survey of some of the connections between maps on surfaces, permutations, Riemann surfaces, algebraic curves and Galois groups is ...
Jones, Gareth A., Gareth A. Jones
core
Connections whose differential Galois groups are reductive of maximal degree
The differential Galois group of an $n^\mathrm{th}$ order linear differential equation is the symmetry group of its solutions; it is an algebraic subgroup of $\mathrm{GL}_n(\mathbb{C})$.
Kamgarpour, Masoud, Sage, Daniel S.
core
Galois: a language for proofs using galois connections and fork algebras [PDF]
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototype. Galculator uses an equational approach based on Galois connections with indirect equality as an additional inference rule.
Visser, Joost +2 more
core +2 more sources
Modeling and simulation of a Tamil language encoder for advanced encryption technologies. [PDF]
Suthaharan S.
europepmc +1 more source
Improving the efficiency of using multivalued logic tools. [PDF]
Suleimenov IE +3 more
europepmc +1 more source

