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     

A comparison of severalk sample tests for ordered alternatives in completely randomized designs

The importance of appropriate test selection for a given research endeavor cannot be over-emphasized. Using samples drawn from eleven populations (differing in shape, peakedness, and density in the tails), this study investigates the small sample empirical powers of ninek-sample tests against ordered location alternatives under completely randomized designs. The results then are intended to aid the researcher in the selection of a particular procedure appropriate for a given endeavor. To highlight this an industrial psychology application involving work productivity is presented.Research was supported in part by the Scholastic Assistance Program, Baruch College. The author wishes to thank Professors Matthew Goldstein, Shulamith Gross, David Levine, and Edward Wolf for their helpful comments when writing this paper. In addition, the author wishes to thank the referees and editor for their useful suggestions for improving the paper.     

A rasch model for partial credit scoring

A unidimensional latent trait model for responses scored in two or more ordered categories is developed. This “Partial Credit” model is a member of the family of latent trait models which share the property of parameter separability and so permit “specifically objective” comparisons of persons and items. The model can be viewed as an extension of Andrich's Rating Scale model to situations in which ordered response alternatives are free to vary in number and structure from item to item. The difference between the parameters in this model and the “category boundaries” in Samejima's Graded Response model is demonstrated. An unconditional maximum likelihood procedure for estimating the model parameters is developed. Preparation of this paper was supported by grants from the Spencer Foundation and the National Institute for Justice. I would like to thank Professor Benjamin D. Wright of the University of Chicago for his very kind help with the various drafts of this paper.     

Language, moral order and political praxis

The paper argues that the debate between objectivist criticism and postmodern critique represents a fracturing of the modes of mundane social and linguistic practice. The two together miss the open-textured character of language-in-use and the reflexive properties of situated human practice. Both difference and agreement are grounded in the multiplicity of criteria that are a feature of the logical grammar of language, and therefore of everyday praxis, including that of critique. To escape the duality of foundationalism on the one hand, and radical relativism on the other, attention to the praxiological details of human action and reasoning is needed. The paper draws on Wittgensteinian philosophy and ethnomethodological studies of reasoning to make its case.     

The seven virtues of simple type theory

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order logic for practical-minded scientists, engineers, and mathematicians. It recommends that simple type theory be incorporated into introductory logic courses offered by mathematics departments and into the undergraduate curricula for computer science and software engineering students.     

Distributive Full Lambek Calculus Has the Finite Model Property

We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1]. Presented by Daniele Mundici.     

Dominions in quasivarieties of universal algebras

The dominion of a subalgebra H in an universal algebra A (in a class ) is the set of all elements such that for all homomorphisms if f, g coincide on H, then a^f = a^g. We investigate the connection between dominions and quasivarieties. We show that if a class is closed under ultraproducts, then the dominion in is equal to the dominion in a quasivariety generated by . Also we find conditions when dominions in a universal algebra form a lattice and study this lattice.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

Paradoxes in Double Extension Set Theories

Three systems of double extension set theory have been proposed by Andrzej Kisielewicz in two papers. In this paper, it is shown that the two stronger systems are inconsistent, and that the third, weakest system does not admit extensionality for general sets or the use of general sets as parameters in its comprehension scheme. The parameter-free version of the comprehension principle of double extension set theory is also shown to be inconsistent with extensionality. The definitions of the systems and a self-contained exposition of their properties is given, sufficient to develop the inconsistency proofs.