共查询到20条相似文献,搜索用时 31 毫秒
1.
We will study the class RSA of -dimensional representable substitution algebras. RSA is a sub-reduct of the class of representable cylindric: algebras, and it was an open problem in Andréka [1] that whether RSA can be finitely axiomatized. We will show, that the answer is positive. More concretely, we will prove, that RSA is a finitely axiomatizable quasi-variety. The generated variety is also described. We note that RSA is the algebraic counterpart of a certain proportional multimodal logic and it is related to a natural fragment of first order logic, as well. 相似文献
2.
3.
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae
In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators. 相似文献
4.
5.
The Development of Charismatic Leaders 总被引:1,自引:0,他引:1
Micha Popper 《Political psychology》2000,21(4):729-744
This paper explores the origins of leadership potential and motivation for leadership, primarily with regard to two types of leaders: personalized and socialized charismatic leaders. Bowlby's attachment theory (1969, 1973) provides a theoretical basis for determining an individual's potential to be in leadership positions. The "internal working model," formed (according to Bowlby) in the course of attachment processes in infancy, has a considerable impact on self-perception, which may later affect the development of "ego resources" required for leadership. The motivation to be a leader is analyzed with the help of various psychodynamic concepts and models. 相似文献
6.
The standard Pawlak approach to rough set theory, as an approximation space consisting of a universe U and an equivalence (indiscernibility) relation R
U x U, can be equivalently described by the induced preclusivity ("discernibility") relation U x U \ R, which is irreflexive and symmetric.We generalize the notion of approximation space as a pair consisting of a universe U and a discernibility or preclusivity (irreflexive and symmetric) relation, not necessarily induced from an equivalence relation. In this case the "elementary" sets are not mutually disjoint, but all the theory of generalized rough sets can be developed in analogy with the standard Pawlak approach. On the power set of the universe, the algebraic structure of the quasi fuzzy-intuitionistic "classical" (BZ) lattice is introduced and the sets of all "closed" and of all "open" definable sets with the associated complete (in general nondistributive) ortholattice structures are singled out.The rough approximation of any fixed subset of the universe is the pair consisting of the best "open" approximation from the bottom and the best "closed" approximation from the top. The properties of this generalized rough approximation mapping are studied in the context of quasi-BZ lattice structures of "closed-open" ordered pairs (the "algebraic logic" of generalized rough set theory), comparing the results with the standard Pawlak approach. A particular weak form of rough representation is also studied. 相似文献
7.
8.
Ivor Grattan-Guinness 《Theology & Science》2013,11(1):137-147
An important feature of mathematics, both pure and applied, during the nineteenth century was the widening from its common form to a proliferation, where the “objects” studied were not numbers or geometrical magnitudes but operations such as functions and differentiation and integration, abstract ones (as we now call them), linear algebras of vectors, matrices and determinants, and algebras in logic. In this article the author considers several of them, including the contributions of Hermann Grassmann and Benjamin Peirce. A notable feature of these developments was analogising from one algebra to another by adopting some of the same laws, such as associativity, commutativity and distributivity. In the final section we consider the normally secular character of these algebras. 相似文献
9.
Miklós Ferenczi 《Studia Logica》2007,87(1):1-11
It is known that every α-dimensional quasi polyadic equality algebra (QPEA
α
) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties . The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras
in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally
equivalent to QPEA. It is shown, among others, that from every algebra in a β-dimensional algebra can be obtained in QPEA
β
where , moreover the algebra obtained is representable in a sense.
Presented by Daniele Mundici
Supported by the OTKA grants T0351192, T43242. 相似文献
10.
11.
12.
We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution
algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong
amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9].
The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result
of Németi, our result implies that the Beth-definability Theorem fails for certain expansions of first order logic 相似文献
13.
Marta A. Zander 《Studia Logica》2008,88(2):233-246
In this paper we prove that, for n > 1, the n-generated free algebra in any locally finite subvariety of HoRA can be written in a unique nontrivial way as Ł2 × A′, where A′ is a directly indecomposable algebra in . More precisely, we prove that the unique nontrivial pair of factor congruences of is given by the filters and , where the element is recursively defined from the term introduced by W. H. Cornish. As an additional result we obtain a characterization of minimal irreducible filters of in terms of its coatoms.
Presented by Daniele Mundici 相似文献
14.
15.
16.
Relation algebras from cylindric and polyadic algebras 总被引:1,自引:0,他引:1
17.
Holographic reduced representations (HRRs) are distributed representations of cognitive structures based on superpositions of convolution-bound n-tuples. Restricting HRRs to n-tuples consisting of ±1, one reinterprets the variable binding as a representation of the additive group of binary n-tuples with addition modulo 2. Since convolutions are not defined for vectors, the HRRs cannot be directly associated with geometric structures. Geometric analogues of HRRs are obtained if one considers a projective representation of the same group in the space of blades (geometric products of basis vectors) associated with an arbitrary n-dimensional Euclidean (or pseudo-Euclidean) space. Switching to matrix representations of Clifford algebras, one can always turn a geometric analogue of an HRR into a form of matrix distributed representation. In typical applications the resulting matrices are sparse, so that the matrix representation is less efficient than the representation directly employing the rules of geometric algebra. A yet more efficient procedure is based on ‘projected products’, a hierarchy of geometrically meaningful n-tuple multiplication rules obtained by combining geometric products with projections on relevant multivector subspaces. In terms of dimensionality the geometric analogues of HRRs are in between holographic and tensor-product representations. 相似文献
18.
Diego Vaggione 《Studia Logica》1996,57(2-3):239-241
It is proved that the directly indecomposable algebras in a congruence modular equational class form a first-order class provided that fulfils some two natural assumptions.Research supported by CONICOR and SECYT (UNC).Presented by W. Dziobiak 相似文献
19.
SC
, CA
, QA
and QEA
stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals < , the class Nr
K
of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if and only if > 1.From this it easily follows that for 1 < < , the operation of forming -neat reducts of algebras in K
does not commute with forming subalgebras, a notion to be made precise.We give a contrasting result concerning Halmos' polyadic algebras (with and without equality). For such algebras, we show that the class of infinite dimensional neat reducts forms a variety.We comment on the status of the property of neat reducts commuting with forming subalgebras for various reducts of polyadic algebras that are also expansions of cylindric-like algebras. We try to draw a borderline between reducts that have this property and reducts that do not.Following research initiated by Pigozzi, we also emphasize the strong tie that links the (apparently non-related) property of neat reducts commuting with forming subalgebras with proving amalgamation results in cylindric-like algebras of relations. We show that, like amalgamation, neat reducts commuting with forming subalgebras is another algebraic expression of definability and, accordingly, is also strongly related to the well-known metalogical properties of Craig, Beth and Robinson in the corresponding logics. 相似文献
20.
Predicate modal logics based on Kwith non-compact extra axioms are discussed and a sufficient condition for the model existence theorem is presented. We deal with various axioms in a general way by an algebraic method, instead of discussing concrete non-compact axioms one by one. 相似文献