排序方式: 共有49条查询结果,搜索用时 31 毫秒
1.
2.
3.
I. Janioka-Żuk 《Studia Logica》1980,39(4):415-423
LetN. be the set of all natural numbers (except zero), and letD n * = {k ∈N ∶k|n} ∪ {0} wherek¦n if and only ifn=k.x f or somex∈N. Then, an ordered setD n * = 〈D n * , ? n , wherex? ny iffx¦y for anyx, y∈D n * , can easily be seen to be a pseudo-boolean algebra. In [5], V.A. Jankov has proved that the class of algebras {D n * ∶n∈B}, whereB =,{k ∈N∶ ? \(\mathop \exists \limits_{n \in N} \) (n > 1 ≧n 2 k)is finitely axiomatizable. The present paper aims at showing that the class of all algebras {D n * ∶n∈B} is also finitely axiomatizable. First, we prove that an intermediate logic defined as follows: $$LD = Cn(INT \cup \{ p_3 \vee [p_3 \to (p_1 \to p_2 ) \vee (p_2 \to p_1 )]\} )$$ finitely approximatizable. Then, defining, after Kripke, a model as a non-empty ordered setH = 〈K, ?〉, and making use of the set of formulas true in this model, we show that any finite strongly compact pseudo-boolean algebra ? is identical with. the set of formulas true in the Kripke modelH B = 〈P(?), ?〉 (whereP(?) stands for the family of all prime filters in the algebra ?). Furthermore, the concept of a structure of divisors is defined, and the structure is shown to beH D n * = 〈P (D n * ), ?〉for anyn∈N. Finally, it is proved that for any strongly compact pseudo-boolean algebraU satisfying the axiomp 3∨ [p 3→(p1→p2)∨(p2→p1)] there is a structure of divisorsD * n such that it is possible to define a strong homomorphism froomiH D n * ontoH D U . Exploiting, among others, this property, it turns out to be relatively easy to show that \(LD = \mathop \cap \limits_{n \in N} E(\mathfrak{D}_n^* )\) . 相似文献
4.
5.
6.
7.
Magdalena A. Żemojtel‐Piotrowska Jarosław P. Piotrowski Amanda Clinton 《International journal of psychology》2016,51(3):196-204
In this study, the relationship between agency, communion, and the active, passive, and revenge forms of entitlement is examined. Results indicate that active entitlement was positively related to agency, negatively to communion (Study 1), and unrelated to unmitigated agency and communion (Study 2). Passive entitlement was positively related to communion (in regular and unmitigated forms) and negatively related to agency (in both forms). Revenge entitlement was positively related to agency (unmitigated and regular), and negatively related to both regular and unmitigated communal orientations. Detected relationships were independent from self‐esteem (Study 1). The findings are discussed in relation to distinctions between narcissistic and healthy entitlement, and within the context of the three‐dimensional model of entitlement. 相似文献
8.
An Fe89.15Cr10.75 alloy in a heavily strained (by cold rolling) state and in strain-relaxed states was studied by means of conversion electrons Mössbauer spectroscopy. Analysis of the spectra in terms of a two-shell model revealed significant differences between the studied samples, particularly in values of the hyperfine field and the distribution of Cr atoms within the first two neighbour shells. The latter is quantified in terms of short-range order parameters. 相似文献
9.
10.