相关论文: Noncommutative Frames Revisited

Let $\mathbf{F}=\left\langle F,R\right\rangle $ be a finite Kripke frame. A congruence of $\mathbf{F}$ is a bisimulation of $\mathbf{F}$ that is also an equivalence relation on F. The set of all congruences of $\mathbf{F}$ is a lattice…

This article presents conditions under which the skewed version of immaculate noncommutative symmetric functions are nonzero. The work is motivated by the quest to determine when the matrix definition of a skew immaculate function aligns…

This paper considers the matrix completion problem. We show that it is not necessary to assume joint incoherence, which is a standard but unintuitive and restrictive condition that is imposed by previous studies. This leads to a sample…

We present a definition of and discuss basic properties of cross-ratios over noncommutative skew-fields. A new theorem was added.

For a slim, planar, semimodular lattice, G. Cz\'edli and E.\,T. Schmidt introduced the fork extension in 2012. In this note we prove that the fork extension has the Congruence Extension Property. This paper has been merged with Part II,…

As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the…

The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the…

A necessary condition for a connection in a vector bundle to be locally metric is for its curvature matrix, which consists of $2$ forms, to be skew symmetric with respect to some local frame. In this paper we give a simple algorithm that…

We prove that every lattice with more than one element has a proper congruence-preserving extension.

We develop a framework which allows us to prove the essential general quasi-orthogonality for the non-symmetric Johnson-Nedelec finite element/boundary element coupling. General quasi-orthogonality was first proposed in [Axioms of…

We expand the completeness study instigated in [J. Math. Phys. 50 (2009), 103516, 29 pages] which found all $2\times2$ Lax pairs with non-zero, separable terms in each entry of each Lax matrix, along with the most general nonlinear systems…

A finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation gives rise to a structure skew brace $B(X,r)$ that is a $\lambda_f$-skew brace, i.e. every element has finitely many $\lambda$-images, and whose additive…

In his seminal paper that inaugurated abstract argumentation, Dung proved that the set of complete extensions forms a complete semilattice with respect to set inclusion. In this note we demonstrate that this proof is incorrect with…

The inconsistency of pairwise comparisons remains difficult to interpret in the absence of acceptability thresholds. The popular 10% cut-off rule proposed by Saaty has recently been applied to incomplete pairwise comparison matrices, which…

The purpose of this article is to show that on an open and dense set, complete integrability implies the existence of symmetry.

The product of a complex skew-symmetric matrix and its conjugate transpose is a positive semi-definite Hermitian matrix with nonnegative eigenvalues, with a property that each distinct positive eigenvalue has even multiplicity. This…

We consider random perfect matchings on a general class of contracting bipartite graphs by letting certain edge weights be 0 on the contracting square-hexagon lattice in a periodic way. We obtain a deterministic limit shape in the scaling…

We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot…

Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…

We prove that skew systems with a sufficiently expanding base have approximate exponential decay of correlations, meaning that the exponential rate is observed modulo an error. The fiber maps are only assumed to be Lipschitz regular and to…