Hierarchical classes: Model and data analysis

A discrete, categorical model and a corresponding data-analysis method are presented for two-way two-mode (objects × attributes) data arrays with 0, 1 entries. The model contains the following two basic components: a set-theoretical formulation of the relations among objects and attributes; a Boolean decomposition of the matrix. The set-theoretical formulation defines a subset of the possible decompositions as consistent with it. A general method for graphically representing the set-theoretical decomposition is described. The data-analysis algorithm, dubbed HICLAS, aims at recovering the underlying structure in a data matrix by minimizing the discrepancies between the data and the recovered structure. HICLAS is evaluated with a simulation study and two empirical applications.This research was supported in part by a grant from the Belgian NSF (NFWO) to Paul De Boeck and in part by NSF Grant BNS-83-01027 to Seymour Rosenberg. We thank Iven Van Mechelen for clarifying several aspects of the Boolean algebraic formulation of the model and Phipps Arabie for his comments on an earlier draft.     

Birkhoff-like sheaf representation for varieties of lattice expansions

Given a variety we study the existence of a class such that S1 every A can be represented as a global subdirect product with factors in and S2 every non-trivial A is globally indecomposable. We show that the following varieties (and its subvarieties) have a class satisfying properties S1 and S2: p-algebras, distributive double p-algebras of a finite range, semisimple varieties of lattice expansions such that the simple members form a universal class (bounded distributive lattices, De Morgan algebras, etc) and arithmetical varieties in which the finitely subdirectly irreducible algebras form a universal class (f-rings, vector groups, Wajsberg algebras, discriminator varieties, Heyting algebras, etc). As an application we obtain results analogous to that of Nachbin saying that if every chain of prime filters of a bounded distributive lattice has at most length 1, then the lattice is Boolean.We wish to thank Lic. Alfredo Guerin and Dr. Daniel Penazzi for helping us with linguistics aspects. We are indebted to the referee for several helpful suggestions. We also wish to thank Professor Mick Adams for providing us with several reprints and useful e-mail information on the subject.Suported by CONICOR and SECyT (UNC).     

Quantum MV algebras

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.I should like to thank Prof. M.L. Dalla Chiara and Dr. P. Minari for many interesting comments and remarks. Daniele Mundici     

Free Łukasiewicz and Hoop Residuation Algebras

Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which is a copy of the {, 1}-reduct of the same finite MV-algebra, i.e., of the same finite product of linearly ordered (simple) algebras. The cardinality of the product can be determined in principle, and an inclusion-exclusion type argument yields the cardinality of the free algebra. The methods are illustrated by applying them to various cases, both known (varieties generated by a finite linearly ordered Hilbert algebra) and new (residuation reducts of MV-algebras and of hoops).     

论八卦是八个逻辑范式

基于太极代数,本文证明八卦是八个逻辑范式,八卦中包含四对矛盾关系,其中"六子"构成辩证逻辑组。八卦是生命生产和思想生产都必须共同遵循的变化法则。学界似有这样的倾向,以为《周易》中只有类推逻辑而没有演绎逻辑,本文证明这种观点是不能成立的。八卦本质上就是演绎逻辑的,卦象的本质是逻辑法则。因此,基于卦象的联想或推理不能脱离八卦的逻辑内涵;否则,想象的灵活性必将导致卦象上的混淆,甚至使八卦沦为象数游戏的工具。     

Developing a Learning Progression for Curriculum,Instruction, and Student Learning: An Example from Mathematics Education

Learning progressions have been demarcated by some for science education, or only concerned with levels of sophistication in student thinking as determined by logical analyses of the discipline. We take the stance that learning progressions can be leveraged in mathematics education as a form of curriculum research that advances a linked understanding of students learning over time through careful articulation of a curricular framework and progression, instructional sequence, assessments, and levels of sophistication in student learning. Under this broadened conceptualization, we advance a methodology for developing and validating learning progressions, and advance several design considerations that can guide research concerned with engendering forms of mathematics learning, and curricular and instructional support for that learning. We advance a two-phase methodology of (a) research and development, and (b) testing and revision. Each phase involves iterative cycles of design and experimentation with the aim of developing a validated learning progression. In particular, we gathered empirical data to revise our hypothesized curricular framework and progression and to measure change in students. thinking over time as a means to validate both the effectiveness of our instructional sequence and of the assessments designed to capture learning. We use the context of early algebra to exemplify our approach to learning progressions in mathematics education with a focus on the concept of mathematical equivalence across Grades 3-5. The domain of work on research on learning over time is evolving; our work contributes a broadened role for learning progressions work in mathematics education research and practice.     

Mathematical concepts for analyzing ambiguous situations

Abstract

We examine some mathematical tools for dealing with ambiguous situations. The main tool is the use of non-standard logic with truth-values in what is called a locale. This approach is related to fuzzy set theory, which we briefly discuss. We also consider probabilistic concepts. We include specific examples and describe the way a researcher can set up a suitable locale to analyse a concrete situation.     

Logic Games are Complete for Game Logics

Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic.