نتایج جستجو برای: subalgebra membership problem
تعداد نتایج: 902784 فیلتر نتایج به سال:
Canonical completeness results for Ł(C), the expansion of Łukasiewicz logic Ł with a countable set of truth-constants C, have been recently proved in [5] for the case when the algebra of truth constants C is a subalgebra of the rational interval [0, 1] ∩ Q. The case when C 6⊆ [0, 1] ∩ Q was left as an open problem. In this paper we solve positively this open problem by showing that Ł(C) is stro...
Support Vector Machine (SVM) is one of the important classification techniques, has been recently attracted by many of the researchers. However, there are some limitations for this approach. Determining the hyperplane that distinguishes classes with the maximum margin and calculating the position of each point (train data) in SVM linear classifier can be interpreted as computing a data membersh...
A central problem in algebraic complexity, posed by J. Edmonds [16], asks to decide if the span of a given l-tuple W=(W1,…,Wl) N×N complex matrices contains non-singular matrix. In this paper, we provide quiver invariant theoretic approach problem. Viewing W as representation l-Kronecker Kl, Edmonds' can be rephrased asking there exists semi-invariant on space (CN×N)l weight (1,?1) that does no...
Perhaps the most celebrated topological completeness result in modal logic is the McKinseyTarski theorem that if we interpret modal diamond as topological closure, then S4 is complete for the real line or indeed any dense-in-itself separable metrizable space [10]. This result was proved before relational semantics for modal logic was introduced. In the last 15 years, utilizing relational semant...
We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000.
In this paper, we apply the concepts of fuzzy subsets to coalgebras and define fuzzy subcoalgebras and fuzzy left (right) coideals. Considering the applications of fuzzy subcoalgebras and fuzzy left (right) coideals, we discuss their properties under homomorphisms of coalgebras and the relationship among them. A fuzzy subcoalgebra and its duality as well as a fuzzy subalgebra and its duality is...
In this note, we characterize Chebyshev subalgebras of unital JB-algebras. We exhibit that if B is Chebyshev subalgebra of a unital JB-algebra A, then either B is a trivial subalgebra of A or A= H R .l, where H is a Hilbert space
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید