81. Universal Algebra universal algebra. Venanzio Capretta venanzio@cs.kun.nl Wed, 24 Feb 1999 132412 +0100. Previous message Parsing Fixpoint . http://pauillac.inria.fr/pipermail/coq-club/1999/000217.html

Universal Algebra Venanzio Capretta venanzio@cs.kun.nl Wed, 24 Feb 1999 13:24:12 +0100 Previous message: Parsing "Fixpoint". Next message: Universal Algebra Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] A development of Universal Algebra in Coq (version 6.2.3) is available at my web page http://cs.kun.nl/~venanzio/universal_algebra.html The development contains * Definition of setoids at the Set level; * Definition of signatures * Definition of Algebras * Constructions on Algebras (subalgebras, products, quotients) * Term Algebras * Homomorphisms of Algebras * Proof of some basic properties Venanzio Capretta University of Nijmegen Faculty of Mathematics and Informatics the Nederlands tel.: +31-24-3652232 Previous message: Parsing "Fixpoint". Next message: Universal Algebra Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

82. Universal Algebra universal algebra. Randy Pollack rap@dcs.ed.ac.uk Thu, 25 Feb 1999 140212 GMT. Previous message universal algebra; Next message Unfolding definitions? http://pauillac.inria.fr/pipermail/coq-club/1999/000218.html

Universal Algebra Randy Pollack rap@dcs.ed.ac.uk Thu, 25 Feb 1999 14:02:12 GMT Previous message: Universal Algebra Next message: Unfolding definitions? Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] A development of Universal Algebra in Coq (version 6.2.3) is available at my web page http://cs.kun.nl/~venanzio/universal_algebra.html That's http://www.cs.kun.nl/~venanzio/universal_algebra.html ^^^ Randy Previous message: Universal Algebra Next message: Unfolding definitions? Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

83. AMCA: Lattices, Universal Algebra And Applications - List Of Speakers Lattices, universal algebra and Applications May 2830, 2003 Centro de Algebra da Universidade de Lisboa Lisbon, Portugal http://at.yorku.ca/c/a/j/s/01.htm

Atlas Mathematical Conference Abstracts Conferences Abstracts Organizers ... About AMCA Lattices, Universal Algebra and Applications May 28-30, 2003 Centro de Algebra da Universidade de Lisboa Lisbon, Portugal Organizers Gabriela Bordalo, Isabel Ferreirim, Maria Joao Saramago, Luis Sequeira Conference Homepage Abstracts This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the active list. Maria Isabel Tocon Barroso Strongly prime pseudomultiplicative lattices. Willem Blok On some classes of Residuation Algebras Valeriu Bordan Some classes of locally linearly compact generalized bounded Algebras Felix Bou A deductive system which has associated three different classes of algebras Andrei A. Bulatov Counting combinatorial problems and Mal'tsev algebras Nathalie Caspard Cayley lattices of finite Coxeter groups are bounded Jorge Ernesto Castro Quasi-Subalgebras and quasi-congruences for Quasi-Modal lattices Ivan Chajda Triangular scheme for congruence distributivity Dejan Delic Embeddings Into the Monoid of the Random Graph Margarida Raposo Dias Another approach to Priestley Duality Busneag Dumitru Localization of MV-algebras Mai Gehrke Canonicity, duality, and correspondence

84. AMCA: Universal Algebra And Lattice Theory (Dedicated To The 70th Birthday Of B. universal algebra and Lattice Theory (Dedicated to the 70th birthday of B. Csakany) July 2226, 2002 University of Szeged Szeged, Hungary http://at.yorku.ca/c/a/i/v/01.htm

Atlas Mathematical Conference Abstracts Conferences Abstracts Organizers ... About AMCA Universal Algebra and Lattice Theory (Dedicated to the 70th birthday of B. Csakany) July 22-26, 2002 University of Szeged Szeged, Hungary Organizers Agnes Szendrei, Laszlo Szabo, Miklos Dorman Conference Homepage Abstracts This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the active list. Erhard Aichinger 2-affine complete algebras need not be affine complete. Daciana Alina Alb Tensor products of compact rings Joel Berman Bela Lettres Janis Cirulis The lattice of projection operators of a subtractibe nearsemilattice Sinisa Crvenkovic On the Berman Conjecture for Finite Semigroups Gabor Czedli Optimal Mal'tsev conditions for modular congruence lattice identities Patrick Dehornoy The geometry monoid of an identity Dejan Delic Endomorphism Monoid of the Random Graph Guenther Eigenthaler Congruence regularity and its generalizations Stephan Földes On equational classes of Boolean functions Kazimierz Glazek Independence notions from a general algebraic point of view Martin Goldstern Intervals in clone lattices on infinite sets Miroslav Haviar Standard topological quasi-varieties - examples and problems Csaba Henk Representation Theory of Cylindric Lattices Eszter K. Horváth

85. Basic Library List-Algebra Burris, Stanley and Sankappanavar, HP A Course in universal algebra New York, Cohn, Paul M. universal algebra Norwell, MA D. Reidel, 1981. http://www.maa.org/BLL/algebra.htm

ALGEBRA Back to Table of Contents Algebra: Introductory Surveys Allenby, R.B.J.T. Rings, Fields and Groups: An Introduction to Abstract Algebra New York, NY: Edward Arnold, 1983. ** Artin, Michael. Algebra Englewood Cliffs, NJ: Prentice Hall, 1991. Bhattacharya, P.B.; Jain, S.K.; and Nagpaul, S.R. Basic Abstract Algebra New York, NY: Cambridge University Press, 1986. *** Birkhoff, Garrett and Mac Lane, Saunders. A Survey of Modern Algebra, New York, NY: Macmillan, 1965, 1977. Fourth Edition. Burnside, William Snow and Panton, Arthur William. The Theory of Equations with an Introduction to the Theory of Binary Algebraic Forms, Mineola, NY: Dover, 1960. 2 Vols. Burton, D. Abstract Algebra Dubuque, IA: William C. Brown, 1988. * Childs, Lindsay. A Concrete Introduction to Higher Algebra New York, NY: Springer-Verlag, 1979. Dean, Richard A. Classical Abstract Algebra New York, NY: Harper and Row, 1990. * Fraleigh, John B. A First Course in Abstract Algebra, Reading, MA: Addison-Wesley, 1976, 1989. Fourth Edition. ** Gallian, Joseph A.

86. Otter And Mace Users universal algebra, group theory, algebraic geometry. Mladen Pavicic, University of Zagreb. quantum computing, Quantum Implication Algebras http://www-unix.mcs.anl.gov/AR/otter/users.html

Otter and Mace Users This page contains some of the researchers and educators who have used the automated deduction systems Otter or Mace Maybe this list should be separated into several areas: research in mathematics and logic other applications Otter or Mace as an automatic subsystem evaluation of other systems education Let us know ( ) if we should add, change, or remove entries. Note: the secondary points are contexts in which Otter or Mace were used, and not necessaily the primary research areas of the users. Peter Baumgartner educational tool for coursework Michael Beeson , San Jose State University Otter-Lambda , extending Otter with lambda calculus several graduate student projects Johan G. F. Belinfante , Georgia Tech automated reasoning in set theory Maria Paola Bonacina proof checking (part of a program analysis project educational tool for coursework Johan Bos , University of Edinburgh DORIS (Discourse Oriented Representation and Inference System) Books on Computational Semantics Robert S. Boyer , UT Austin course in automated reasoning Ralph Butler , Middle Tennessee State University course in automated ressoning Koen Claessen , Chalmers University of Technology proving properties about functional programs (Otter) evaluating Paradox (Mace) Simon Colton , Imperial College London automated theory formation Zac Ernst , Florida State University propositional logics, philosophy

87. Abstract Of: Universal Coalgebra: A Theory Of Systems Thus the three basic notions of universal algebra algebra, Some standard results from universal algebra are reformulated (using the afore mentioned http://db.cwi.nl/rapporten/abstract.php?abstractnr=604

88. [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic And Universal Alge S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU Algebraic Logic and universal algebra in Computer Science. To types@THEORY.LCS.MIT.EDU, logic@THEORY.LCS.MIT. http://www.seas.upenn.edu/~sweirich/types/archive/1987/msg00000.html

[Prev] [Next] [Index] [Thread] [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science] To types@THEORY.LCS.MIT.EDU logic@THEORY.LCS.MIT.EDU Subject : [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science] From meyer@THEORY.LCS.MIT.EDU Date : Fri, 6 Nov 87 14:02:42 est Prev: CMU meeting on metadeduction Next: Re: Type : Type Index(es): Main Thread

89. EEVL | Mathematics Section | Browse Topics covered include lattices, fundamentals of universal algebra, applied universal algebra, Boolean algebra and model theory. http://www.eevl.ac.uk/mathematics/math-browse-page.htm?action=Class Browse&brows

90. Merak MML Browsing The Correspondence Between Homomorphisms of universal algebra \ Many Sorted Algebra. Adam Grabowski submitted December 13, 1994 http://merak.pb.bialystok.pl/mmlquery/fillin.php?filledfilename=phparticle.mqt&a

91. FOM: Class Theory And Universal Algebra FOM Class theory and universal algebra. Matt Insall montez at rollanet.org Mon Jan 31 095758 EST 2000. Previous message FOM RE Re Berkeley and http://www.cs.nyu.edu/pipermail/fom/2000-January/003707.html

FOM: Class theory and Universal Algebra Matt Insall montez at rollanet.org Mon Jan 31 09:57:58 EST 2000 Previous message: FOM: RE: Re: Berkeley and nonstandard analysis Next message: FOM: Class theory and Universal Algebra Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] ... http://www.umr.edu/~insall Previous message: FOM: RE: Re: Berkeley and nonstandard analysis Next message: FOM: Class theory and Universal Algebra Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] ... More information about the FOM mailing list

92. FOM: Class Theory And Universal Algebra Previous message FOM Class theory and universal algebra; Next message FOM Connections between mathematics, physics and FOM; Messages sorted by date http://www.cs.nyu.edu/pipermail/fom/2000-January/003709.html

FOM: Class theory and Universal Algebra John Baldwin jbaldwin at math.uic.edu Mon Jan 31 09:13:03 EST 2000 Previous message: FOM: Class theory and Universal Algebra Next message: FOM: Connections between mathematics, physics and FOM Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] I would like to know what other FOMers think about the way some universal algebraists have used classes. In order to find the variety generated by a class K of algebras, one intersects all varieties which contain K (each such variety is, of course a proper class). Thus, one has in mind the ``idea'' of a class of all varieties containing K. cannot belong to any other class, so this operation cannot be done, in NBG, the way it is described by universal algebraists. (There are, in most cases in which it is done, ways around this difficulty, but universal algebra textbooks and articles do not address the issue, presumably because they consider it to be foundational, and somhow tangential. In this particular case, they may be right on both counts.) Are there presentations of class-set theory other than NBG which allow a proper class to be a member of another class? I try to keep my eyes open for any mention of such a

93. [math/0111009] Notes On Universal Algebra Notes on universal algebra. Authors Alexander A. Voronov (University of Minnesota) Comments 22 pages, 10 figures; In the revised version, http://arxiv.org/abs/math.QA/0111009

Mathematics, abstract math.QA/0111009 From: Alexander A. Voronov [ view email ] Date ( ): Thu, 1 Nov 2001 18:25:59 GMT (42kb) Date (revised v2): Fri, 7 Dec 2001 00:23:00 GMT (43kb) Notes on universal algebra Authors: Alexander A. Voronov (University of Minnesota) Comments: 22 pages, 10 figures; In the revised version, a few minor errors are corrected, including some signs for the A_infty operad and algebras Subj-class: Quantum Algebra; Algebraic Topology; Geometric Topology MSC-class: 18D50 (primary), 14H10, 53D55, 55P48, 58D15 (secondary) These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7. Full-text: PostScript PDF , or Other formats References and citations for this submission: CiteBase (autonomous citation navigation and analysis) 2 trackbacks What's this? (send trackbacks to http://arxiv.org/trackback/math/0111009) Which authors of this paper are endorsers?

94. Orders, Lattices And Universal Algebra / Ordres, Treillis Et Algèbre Universell Orders, Lattices and universal algebra / Ordres, treillis et algèbre universelle. http://www.cms.math.ca/Events/winter99/abstracts/node148.html

home about the CMS media releases search ... other societies Next: Stanley Burris - Density Up: Abstracts/Résumés Previous: E. A. Thompson - L. Haddad, B. Larose and I. Rosenberg, Organizers Stanley Burris - Density in abstract number systems Isidore Fleisher - Functional representation of pre-iterative/combinatory formalism ... Free -lattices Claude Tardif - Projectivity and product colourings William Trotter - To be announced ... comments? search for?

95. Atlas: Universal Algebra And Model Theory: The DNA Of Modal Logic By Johan Van B universal algebra and Model Theory the DNA of Modal Logic by Johan van Benthem Institute for Logic, Language and Computation (ILLC), University of http://atlas-conferences.com/cgi-bin/abstract/caqb-71

Atlas home Conferences Abstracts about Atlas Logic in Hungary, 2005 August 5-10, 2005 Janos Bolyai Mathematical Society Budapest, Hungary Organizers A. Hajnal, J. Suranyi (honorary chair) H. Andreka, I. Juhasz, P. Komjath, I. Nemeti (co-chair) G. Sagi (secretary) L. Csirmaz, M. Ferenczi, M. Redei, I. Sain, L. Soukup (member) View Abstracts Conference Homepage Universal Algebra and Model Theory: the DNA of Modal Logic by Johan van Benthem We will survey some historic algebraic influences in modal logic, including high-lights like Jónsson-Tarski, Goldblatt-Thomason, and Blok. Next, we re-analyze all of these in a model-theoretic perspective. Our aim with this is not 'purity of methods', but rather creative entanglement of two irreducible strands. Next, we look at a more recent encounter between algebraic and model-theoretic perspectives, viz. the Guarded Fragment. We show how guarding supports two ways of thinking: either as fragments of full classical systems, or as full languages with a generalized semantics. We conclude with some current challenges about the guarding strategy (including extensions to fixed-point languages), and more generally, about the ever shifting interfaces between modal algebra and model theory. References: 1 H. Andréka, J. van Benthem

96. 01 Hostgold Hospedagem De Sites Translate this page Temas relacionados unit testing « UNITY « Univac « universal algebra » Universal Asynchronous Receiver/Transmitter » Universal Character Set » Universal http://www.hostgold.com.br/hospedagem-sites/o_que_e/Universal algebra

var numOfOpMenus = 4; var numOfMainMenus = 6; var numOfNavMenus = 6; var selectedMainMenu = 1; var selectedNavMenu = 0; Novidade: Todos planos de hospedagem com 20 dias grátis para testes! A Hostgold, com total confiança na qualidade absoluta de seus serviços e infra-estrutura, inova e passa a oferecer 20 dias gratuitos para você testar nosso serviço de hospedagem! Ao assinar nossos planos de hospedagem (Silver, Gold, ASP Lite, Gold Plus, Diamond, Mega ou Portal), liberamos sua conta imediatamente e sem cobrar nenhuma taxa Você só começa a pagar após 20 dias de uso, quando tiver aprovado o serviço! Assine já! Seu site até 10 vezes mais rápido, exclusivo acelerador FastSite da Hostgold! Apenas na Hostgold seu site fica muito mais leve e rápido! Utilizamos sistemas de última geração para compactar todas as páginas trafegadas, diminuindo o tamanho de suas páginas em até 10 vezes e, consequentemente, diminuindo drasticamente o tempo de carregamento das suas páginas e aprimorando a experiência de seus visitantes.

97. Introduction To Translation Of Grassmann's Ausdehnungslehre Explains the published paper called Ausdehnungslehre, which translates to Theory of Extension . The purpose is to create a universal type of geometric calculus. This development is used in linear and nonlinear algebra, today. http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannTranslation/node3.html

NEXT PAGE CONTENTS PREVIOUS PAGE Introduction Hermann Grassmann's 1862 Ausdehnungslehre (literally, ``Theory of Extension'') is one of the great mathematical works of the nineteenth century. In it the foundations of linear and multilinear algebra are laid and much of the superstructure too is constructed. It is regrettable that such a book on such a subject should, from the moment of publication, have been not much read. Indeed, Grassmann's reputation for impenetrability has persisted to this day. Yet one may suspect that a writer who is, in many respects, a century ahead of his time will be somewhat more readable when that century has elapsed than he was to his contemporaries. It is my hope that this translation and commentary will make it easy for today's mathematically educated reader to appreciate Grassmann's presentation of the theory of basis and dimension - it does not differ much from the initial chapter of a modern linear algebra text. The work called simply Die Ausdehnungslehre , though its title page bears the date 1862, actually appeared in the latter half of 1861. It was Grassmann's second attempt to present his theory and was totally different in conception from

98. Algebra, Universal: New & Used Books Category Search Result For Algebra, Univers algebra, universal New Used Books Category Search Result for algebra, universal. Compare new and used books prices among 122 book stores in a click. http://www.fetchbook.info/fwd_topics/id_1548735.html

Bookmark Recommend Us Enhance Your Site Browse Books ... Forums New! Help Keyword Title Author ISBN Welcome Guest [Sign In] Searched in books for Algebra, Universal books matched your search. Search took seconds. All Categories Mathematics Algebra General Algebra, Universal Add Review Lattices, Semigroups, and Universal Algebra By Jorge Almeida Gabriela Bordalo Philip Dwinger (Editor) Hardcover / Plenum Pub Corp / September 1990 / 0306434121 List Price $247.00 / Similar to Lattices, Semigroups, and Universal... Compare Prices Add To Wish List Details ... Add Review Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings By Bergman Paperback / Springer Verlag / October 1990 / 0387972889 List Price $57.95 / Similar to Algebraic Logic and Universal Algebra... Compare Prices Add To Wish List Details ... Add Review Boolean Constructions in Universal Algebras By A.G. Pinus Hardcover / Kluwer Academic Pub / February 1992 / 0792321170 List Price $282.00 / Similar to

99. Cul.math Page Turner http://cdl.library.cornell.edu/Hunter/hunter.pl?handle=cornell.library.math/0195

100. Program Files\Netscape\Communicator\Program\nshsalg\frames http://www.ii.uib.no/~wagner/UASCR/snglfrm.htm

Page 5     81-100 of 101    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20