Extractions: @import url(http://eprints.ecs.soton.ac.uk/style/auto.css); @import url(http://eprints.ecs.soton.ac.uk/style/print.css); @import url(http://eprints.ecs.soton.ac.uk/style/nojs.css); Site Search Breadcrumb trail: Intranet Tools RSS 1.0 Feed RSS 2.0 Feed ... Atom Feed Cirstea, C. (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In: Foundations of Software Science and Computation Structures Conference, 10-12 April 2002, Grenoble, France. Preview PDF - Requires a PDF viewer such as GSview Xpdf or Adobe Acrobat Reader The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising both a coalgebraic (observational) component and an algebraic (computational) component. The integration results in logics whose sentences are either coalgebraic (modal) or algebraic (equational) in nature, but whose associated notions of satisfaction take into account both the coalgebraic and the algebraic features of the structures being specified. Each of the logics thus obtained also supports modular specification.
Bulletin Of The American Mathematical Society MR 574645; * J. Lambek, On the unity of algebra and logic, F. Borceux (éd.), categorical algebra and its Applications, Lecture Notes in Math., vol. http://www.ams.org/bull/1989-21-02/S0273-0979-1989-15849-7/home.html
Homepage For Prof. Erwin Engeler Author of various books on logic, Mathematics and Computer Science, translated into Russian, Japanese and categorical algebra, eds S. Eilenberg et al. http://www.math.ethz.ch/~engeler/
Extractions: Click here to visit the home page of my wife Dr. phil. Margaret Engeler. Born in Schaffhausen, Switzerland on the 13th February 1930. Author of various books on Logic, Mathematics and Computer Science, translated into Russian, Japanese and Chinese Editor of scientific journals, book series and symposia Collected works 1993 Active interest in music, art and various outdoor sports
Salvador Vera: Directorio - Algebra categorical Geometry Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical http://www.satd.uma.es/matap/svera/links/matnet01.html
Extractions: Álgebra Restaurar marco Añade tu web Anterior Home ... Siguiente en todo el directorio Dmoz sólo en Matemáticas/Álgebra Top Directorio Español: Matemáticas Álgebra Descripción Genéricas: Específicas: Esta categoría en otros idiomas: Algebra Algebraists Category Theory Group Theory High School Math ... Elements of Abstract and Linear Algebra, by Edwin H. Connell Full online book, in 4 formats: Abode Acrobat, DVI, Postscript, and gzipped Postscript. Can be read with Abode's free Acrobat Reader. Linear Algebra WebNotes by Dr. Mark Sapir
Publications Of David M Evans J. M. Larrazabal, D. Lascar, G. Mints, Lecture Notes in logic 12, pp 7999, zero categorical structures , in Advances in Model Theory and algebra, eds. http://www.mth.uea.ac.uk/~h120/publications.html
Extractions: The following list of papers is in approximate reverse chronological order. It also contains preprints, which can be downloaded in .pdf .dvi or .ps format. I have offprints of all of the published papers (with the possible exception of ones published in books). If you would like one, or a hard copy of a preprint, then let me know by e-mail. [38] "Expansions of fields by angular functions", to appear in proceedings of the conference 'Logicum Lugdunensis', revised version, September 2007 (.pdf) [37] (with Mark Wing Ho Wong) "Some remarks on generic structures", Preprint, August 2006 (.pdf) (Older version, July 2003 (.pdf) [36] "Block transitive Steiner systems with more than one point orbit", J. Combinatorial Designs 12 (2004), 459-465. (.pdf) [35] "Trivial stable structures with non-trivial reducts", J. London Math. Soc (2) 72 (2005), 351-363. (.pdf) [34] (with Paul R. Hewitt) "Continuous cohomology of permutation groups on profinite modules", Communications in Algebra 34 (2006), 1251 - 1264. (.pdf)
WORKSHOP Workshop. categorical Methods in algebra, Topology and logic Normal subobjects of topological groups and of topological semiabelian algebras http://www.mat.uc.pt/~categ/events/abril2005.html
Extractions: Categorical Methods in Algebra, Topology and Logic A logic of coequations Jiri Adámek (Technical University of Braunschweig, Germany) On the construction of quasi-uniform structures in pointfree topology Maria João Ferreira (Universidade de Coimbra, Portugal) Coffee Break Axioms for sequential convergence Dirk Hofmann (Universidade de Aveiro, Portugal) Normal subobjects of topological groups and of topological semi-abelian algebras Dominique Bourn (Université du Littoral Côte d'Opale, France) Baer sums in Moore categories Diana Rodelo (Universidade do Algarve, Portugal) Coffee Break From bicategories and double categories to pseudo-categories: a generalization Nelson Martins-Ferreira (Instituto Politécnico de Leiria, Portugal) Representability of actions in the semi-abelian category of von Neumann regular rings Francis Borceux (Université Catholique de Louvain, Belgium)
Bilgi Mathematics Faculty: Prof. Oleg Belegradek Research areas algebra, mathematical logic and applications Almost categorical theories, Master Thesis, Novosibirsk State University, 1972. http://www.math.bilgi.edu.tr/people/belegradek/
Categories Home Page Recent advances in category theory and logic Applications of traces to algebra, analysis and categorical logic, A Fields Institute Sponsored Workshop. http://www.mta.ca/~cat-dist/
Extractions: Usually, items of this sort sent to `categories@mta.ca' will not be posted. Policy: The moderator will not modify articles except for minor typographical and formatting changes, therefore no offensive or defamatory material should be sent (it will be returned and not posted), and inflammatory posts are discouraged. Nevertheless, wide latitude for vigorous debate is allowed. Please do not send attachments, html or excessively long (greater than about 10K) postings. Postings with attachments will be discarded, any with html may be. Return to top. M. Alsani has created a selected list of CT email, also sorted by thread, from August 1999 to February 2002 at http://north.ecc.edu/alsani/cat-dist2html/index.html
Handbook Of Categorical Algebra, Volume 3 The Handbook of categorical algebra is intended to give, accessible and extensive description of the internal logic of toposes, a very powerful tool. http://assets.cambridge.org/97805214/41803/description/9780521441803_description
EpistemeLinks: Journals For Philosophy Of Mathematics The Annals of Pure and Applied logic publishes papers and short . that significantly advance the study of categorical algebra or methods, http://www.epistemelinks.com/Main/Journals.aspx?Format=Both&TopiCode=Math
Peter Selinger: Curriculum Vitae Invited participant, Special Session on categorical logic and Quantum Invited participant, Workshop on algebra and logic on Programming Systems, Kyoto, http://www.mathstat.dal.ca/~selinger/cv.html
Extractions: Coauthors: Tomasz Kowalski (JAIST, Japan) In computable algebra and model theory computable isomorphism types of structures have been studied intensively over almost three decades. These include a number of natural classes of structures, such as Boolean algebras, Abelian groups, and lattices. The Handbook of Recursive Mathematics is a good source of results in the area. Here we present two results about computable isomorphisms of Boolean algebras with operators (BAOs). A computable BAO A is one whose domain is a computable subset of N, and whose Boolean operations and the operators are computable functions. If a BAO
That Logic Blog: Meaning Via Proofs Now, suppose that we are working in classical logic and wish to assert some In the next post, I ll write a little about what categorical algebra has to http://thatlogicblog.blogspot.com/2006/07/meaning-via-proofs.html
Extractions: @import url("http://www.blogger.com/css/blog_controls.css"); @import url("http://www.blogger.com/dyn-css/authorization.css?targetBlogID=9821078"); Verificationism is the idea, popular amongst the logical positivists, that the meaning of a sentence is to be equated with the method used to establish it. That is, a statement is true if and only if we can, in principle, verify its truth or if it is analytic, which is to say that it is true by definition. This sort of explanation seems to give the impression that semantics precedes syntax invert this procedure. That is, suppose we already know Then constructed from the analytic statements via certain inference rules. In other words, what we have discovered is that our model of classical logic is nothing but the free boolean algebra generated by the analytic statements. But we can summarise the situation in a far more snappy manner:
Siris: On Tom's Algebra Of Logic On Tom s algebra of logic. I have noted previously that propositional logic can be seen as a special case of categorical syllogistics. http://branemrys.blogspot.com/2008/01/on-toms-algebra-of-logic.html
Extractions: KREMASANTES I do work in early modern philosophy, but I have an interest in just about everything. Siris Site Feed (Atom) Weblogs I View Regularly Caveats For a rough introduction to my philosophy of blogging, click here . I intend on this weblog at least to try to meet the standard of Teresita Gonzalez-Quevedo's Code of Amiability . I consider blogging to be a very informal type of publishing - like putting up thoughts on your door, with a note asking for comments, or like brainstorming sessions. Nothing in this weblog is done rigorously: it's a place for jottings and first impressions. Because I consider posts here to be 'literary seedings' rather than finished products, nothing here should be taken as if it were anything more than an attempt to rough out some basic thoughts on various issues. Learning to look at any topic philosophically requires, I think, jumping right in, even knowing that you might be making a fool of yourelf; so that's what I do. My primary interest in most topics is the flow and structure of reasoning they involve rather than their actual conclusions, so most of my posts are about that. If, however, you find me making a clear factual error, let me know; blogging is a great way to get rid of misconceptions.
MATHEMATICAL STRUCTURES RESEARCH Handbook of categorical algebra 1Basic Category Theory. Notes on categorical logic. University of Cambridge Computer Laboratory, 1989 http://www.mmsysgrp.com/mathstrc.htm
Extractions: Category Theory Theoretical Computer Science ... WWW Research Sites Agazzi and Darvas. Philosophy of Mathematics Today. Kluwer Academic Publishers, 1997 Anglin and Lambek. The Heritage of Thales. Springer-Verlag, 1995 Akin, Ethan. The General Topology of Dynamical Systems. American Mathematical Society, 1993 Barwise, Jon. (ed) Handbook of Mathematical Logic. North-Holland,1977 Barwise, Jon. "Axioms for Abstract Model Theory" ,Annals of Mathematical Logic 7(1974) 221-265. Bell, John and Machover,Moshe. A Course in Mathematical Logic. North-Holland, 1977 Bridge, Jane. Beginning Model Theory. Clarendon Press, 1977 Burgess, John and Rosen, Gifeon. A Subject with No Object Oxford Press, 1997
Springer Online Reference Works A branch of mathematics dealing with the interaction between logic (cf. also Mathematical .. Appl. categorical algebra , Amer. Math. Soc. (1970) pp. 114 http://eom.springer.de/c/c120060.htm
Extractions: Categorical logic A branch of mathematics dealing with the interaction between logic (cf. also Mathematical logic ) and category theory. Each of these disciplines has profoundly influenced the other. In fact, it may be claimed that, at a very basic level, logic and category theory are the same. At one time it was customary to divide logic into three parts: proof theory recursion theory and model theory . To all these, category theory can make some fundamental contributions. Logic has also been used for presenting the foundations of mathematics, and here too category theory has something to say. One way of looking at proofs is to see them as deductions. A deduction is a method of inferring from (cf. also Derivation, logical Natural logical deduction ). Evidently, deducibility is reflexive and transitive, and this translates into the identity deduction and into composition of deductions Originally, logicians were not interested in asking when two deductions are equal; the first to do so was D. Prawitz
Heyting Algebra - Wikipedia, The Free Encyclopedia Heyting algebras arise as models of intuitionistic logic, a logic in which the law of . F. Borceux, Handbook of categorical algebra 3, In Encyclopedia of http://en.wikipedia.org/wiki/Heyting_algebra
Extractions: Jump to: navigation search In mathematics Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras . Heyting algebras arise as models of intuitionistic logic , a logic in which the law of excluded middle does not in general hold. Complete Heyting algebras are a central object of study in pointless topology A Heyting algebra H is a bounded lattice such that for all a and b in H there is a greatest element x of H such that This element is the relative pseudo-complement of a with respect to b , and is denoted . We write 1 and for the largest and the smallest element of H , respectively. In any Heyting algebra, one defines the pseudo-complement of any element x by setting . By definition, , and is the largest element having this property. However, it is not in general true that , thus is only a pseudo-complement, not a true
Blogicum: Relational Categorical Propositions On algebra of logic 1 Multiple quantification Relational categorical propositions which may be considered a general form of relational categorical http://blogicum.blogspot.com/2007/12/relational-categorical-propositions.html
