Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains.     

Partial Structures and Jeffrey-Keynes Algebras

In Tsuji 1997 the concept of Jeffrey-Keynes algebras was introduced in order to construct a paraconsistent theory of decision under uncertainty. In the present paper we show that these algebras can be used to develop a theory of decision under uncertainty that measures the degree of belief on the quasi (or partial) truth of the propositions. As applications of this new theory of decision, we use it to analyze Popper's paradox of ideal evidence and to indicate a possible way of formalizing Keynes' theory of economic action.     

Characterization Classes Defined without Equality

In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the paper contains a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones.     

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.     

The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property

Studia Logica - An endomorphism on an algebra $${\mathcal {A}}$$ is said to be strong if it is compatible with every congruence on $${\mathcal {A}}$$ ; and $${\mathcal {A}}$$ is said to have the...     

Equational Bases for Joins of Residuated-lattice Varieties

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL ⁺ is also finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product.     

基础生成的多元部分收缩的一个公理化刻画(英文)

这篇论文结合了两种信念收缩的 AGM 框架的推广,分别为:(1)基础生成收缩,其中信念集的变化是从某个信念基的变化生成的;(2)多元收缩,其中几个句子一次过同时被消去。本文引入了一个结合以上两种推广的运算,"基础生成的多元部分收缩",并将其进行了公理化刻画。     

图的典范装饰与方程组的典范解

在集合论ZFC-＋AFA中,每个图有唯一装饰,每个方程组有唯一解。但是,在集合论ZFC-4-SAFA和ZFC-4-FAFA中,每个图并非只有一个装饰,每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念,在可达点图的典范装饰概念的基础上导出方程组的典范解,提出并证明：在上述三种具体的非良基集合论中,每个可达点图都有唯一的典范装饰,每个方程组有唯一的典范解。     

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.     

Varieties of Pseudo-Interior Algebras

The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.     

Semisimple Varieties of Modal Algebras

In this paper we show that a variety of modal algebras of finite type is semisimple iff it is discriminator iff it is both weakly transitive and cyclic. This fact has been claimed already in [4] (based on joint work by the two authors) but the proof was fatally flawed. Dedicated to the memory of Willem Johannes Blok     

On Varieties of Biresiduation Algebras

A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters and use this to characterize the subvarieties of B with EDPC and also the discriminator varieties. A variety generated by a finite biresiduation algebra is shown to be a subvariety of B. The lattice of subvarieties of B is investigated; we show that there are precisely three finitely generated covers of the atom. Mathematics Subject Classification (2000): 03G25, 06F35, 06B10, 06B20 Dedicated to the memory of Willem Johannes Blok     

Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F})

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.     

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     

The First-Order Theories of Dedekind Algebras

A Dedekind Algebra is an ordered pair (B,h) where B is a non-empty set and h is an injective unary function on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called configurations of the Dedekind algebra. There are N₀ isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on omega called its configuration signature. The configuration signature of a Dedekind algebra counts the number of configurations in the decomposition of the algebra in each isomorphism type.The configuration signature of a Dedekind algebra encodes the structure of that algebra in the sense that two Dedekind algebras are isomorphic iff their configuration signatures are identical. Configuration signatures are used to establish various results in the first-order model theory of Dedekind algebras. These include categoricity results for the first-order theories of Dedekind algebras and existence and uniqueness results for homogeneous, universal and saturated Dedekind algebras. Fundamental to these results is a condition on configuration signatures that is necessary and sufficient for elementary equivalence.