Displaying similar documents to “A topological duality for the F -chains associated with the logic C ω ”

The ℒ n m -propositional calculus

Carlos Gallardo, Alicia Ziliani (2015)

Mathematica Bohemica

Similarity:

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the ℒ n m -propositional calculus, denoted by ℓ n m , is introduced in terms of the binary connectives → (implication), ↠ (standard implication), ∧ (conjunction), ∨ (disjunction) and the unary ones f (negation) and D i , 1 ≤ i ≤ n - 1 (generalized Moisil operators). It is proved that ℓ n m belongs to the class of standard systems...

Some results on spaces with ℵ 1 -calibre

Wei-Feng Xuan, Wei-Xue Shi (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that, assuming , if X is a space with ℵ 1 -calibre and a zeroset diagonal, then X is submetrizable. This gives a consistent positive answer to the question of Buzyakova in Observations on spaces with zeroset or regular G δ -diagonals, Comment. Math. Univ. Carolin. 46 (2005), no. 3, 469–473. We also make some observations on spaces with ℵ 1 -calibre.

Propositional extensions of L ω 1 ω

Richard Gostanian, Karel Hrbacek

Similarity:

CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to L ω 1 ω ............... 82. The propositional part of L ω 1 ω (S)............................. 103. The operation S and the Boolean algebra B S ............... 114. General model-theoretic properties of L ω 1 ω (S)...... 175. Hanf number computations...................................................... 226. Negative results for L ω 1 ω (S)...........................................

Coincidence for substitutions of Pisot type

Marcy Barge, Beverly Diamond (2002)

Bulletin de la Société Mathématique de France

Similarity:

Let ϕ be a substitution of Pisot type on the alphabet 𝒜 = { 1 , 2 , ... , d } ; ϕ satisfies theif for every i , j ∈ 𝒜 , there are integers k , n such that ϕ n ( i ) and ϕ n ( j ) have the same k -th letter, and the prefixes of length k - 1 of ϕ n ( i ) and ϕ n ( j ) have the same image under the abelianization map. We prove that the strong coincidence condition is satisfied if d = 2 and provide a partial result for d ≥ 2 .

On the T -conditionality of T -power based implications

Zuming Peng (2022)

Kybernetika

Similarity:

It is well known that, in forward inference in fuzzy logic, the generalized modus ponens is guaranteed by a functional inequality called the law of T -conditionality. In this paper, the T -conditionality for T -power based implications is deeply studied and the concise necessary and sufficient conditions for a power based implication I T being T -conditional are obtained. Moreover, the sufficient conditions under which a power based implication I T is T * -conditional are discussed, this discussions...

On multiset colorings of generalized corona graphs

Yun Feng, Wensong Lin (2016)

Mathematica Bohemica

Similarity:

A vertex k -coloring of a graph G is a if M ( u ) ≠ M ( v ) for every edge u v ∈ E ( G ) , where M ( u ) and M ( v ) denote the multisets of colors of the neighbors of u and v , respectively. The minimum k for which G has a multiset k -coloring is the χ m ( G ) of G . For an integer ℓ ≥ 0 , the ℓ - of a graph G , cor ℓ ( G ) , is the graph obtained from G by adding, for each vertex v in G , ℓ new neighbors which are end-vertices. In this paper, the multiset chromatic numbers are determined for ℓ - of all complete graphs, the regular complete...

Stable tubes in extriangulated categories

Li Wang, Jiaqun Wei, Haicheng Zhang (2022)

Czechoslovak Mathematical Journal

Similarity:

Let 𝒳 be a semibrick in an extriangulated category. If 𝒳 is a τ -semibrick, then the Auslander-Reiten quiver Γ ( ℱ ( 𝒳 ) ) of the filtration subcategory ℱ ( 𝒳 ) generated by 𝒳 is ℤ 𝔸 ∞ . If 𝒳 = { X i } i = 1 t is a τ -cycle semibrick, then Γ ( ℱ ( 𝒳 ) ) is ℤ 𝔸 ∞ / τ 𝔸 t .