Finitary Polyadic Algebras from Cylindric Algebras

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.     

On Complete Representations of Reducts of Polyadic Algebras

Following research initiated by Tarski, Craig and Németi, and futher pursued by Sain and others, we show that for certain subsets G of ^ω ω, atomic countable G polyadic algebras are completely representable. G polyadic algebras are obtained by restricting the similarity type and axiomatization of ω-dimensional polyadic algebras to finite quantifiers and substitutions in G. This contrasts the cases of cylindric and relation algebras. Presented by Robert Goldblatt     

On Neat Reducts of Algebras of Logic

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.     

On Definability of the Equality in Classes of Algebras with an Equivalence Relation

We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomatically definable but not finitely atomatically definable. This revised version was published online in June 2006 with corrections to the Cover Date.     

On Amalgamation in Algebras of Logic

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     

Weakly higher order cylindric algebras and finite axiomatization of the representables

We show that the variety of n-dimensional weakly higher order cylindric algebras, introduced in Németi [9], [8], is finitely axiomatizable when n > 2. Our result implies that in certain non-well-founded set theories the finitization problem of algebraic logic admits a positive solution; and it shows that this variety is a good candidate for being the cylindric algebra theoretic counterpart of Tarski’s quasi-projective relation algebras. Supported by the Hungarian National Foundation for Scientific Research grant T73601.     

Representation of Game Algebras

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.     

Squares in Fork Arrow Logic

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares.     

Subdirectly Irreducible Modal Algebras and Initial Frames

The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure.     

Arrow Logic and Infinite Counting

We consider arrow logics (i.e., propositional multi-modal logics having three -- a dyadic, a monadic, and a constant -- modal operators) augmented with various kinds of infinite counting modalities, such as 'much more', 'of good quantity', 'many times'. It is shown that the addition of these modal operators to weakly associative arrow logic results in finitely axiomatizable and decidable logics, which fail to have the finite base property.     

Varieties of Monadic Heyting Algebras. Part I

This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].     

语义联系对关联再认神经机制的调节

已有研究显示,关联再认可记录到分别反映双重加工模型的两阶段（即熟悉和回忆）的ERP成分（即FN400和LPC成分）,且具有高语义联系配对的关联再认可通过整合在基于熟悉加工的基础上完成。然而,不同语义联系对关联再认神经机制的影响及单个项目的熟悉和回忆加工的调节作用尚未揭示。为此,本研究比较了主题相关和类别相关图形关联再认的波形波幅异同,并分析了单个项目的熟悉和回忆加工对配对识别的影响。结果显示,主题相关和类别相关条件的旧配对、重组配对和“旧+新”配对均记录到反映熟悉加工的FN400成分,主题相关条件的旧配对、重组配对和“旧+新”配对均记录到反映回忆加工的LPC成分,类别相关条件的旧配对记录到LPC成分。表明关联再认的神经机制受语义联系所调节,单个项目的熟悉程度可影响配对识别时的神经机制,上述结论支持双重加工模型。     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .