61. Category:Categorical Logic Articles in category categorical logic . There are 3 articles in this category . Stone s representation theorem for Boolean algebras http://www.algebra.com/algebra/about/history/Category:Categorical-logic.wikipedi

Category:Categorical logic Regular View Dictionary View (all words explained) Algebra Help my dictionary with pronunciation , wikipedia etc You did it! Over US$240,000 was donated in the 21 day fund drive. Thank you for your generosity! You are still welcome to make a donation or purchase Wikimedia merchandise Category:Categorical logic Articles in category "Categorical logic" There are 3 articles in this category. C Categorical logic S Stone's representation theorem for Boolean algebras T Topos Retrieved from " http://en.wikipedia.org/wiki/Category:Categorical_logic Categories Mathematical logic Category theory ... Theoretical computer science Views Category Discussion Edit this page History Personal tools Create account / log in Navigation Main Page Community portal Current events Recent changes ... Donations Search Toolbox What links here Related changes Upload file Special pages ... Permanent link This page was last modified 07:39, 29 October 2004. All text is available under the terms of the GNU Free Documentation License (see for details). About Wikipedia Source: this wiki pedia article , under GFDL links Algebra Homework Help

62. List Of MATPHIL Reports Algebras and application to Extended Predicate logic (EPL) Part III, AlgebraicTheory for categorical Statements in Quantified Predicate logic (QPL). http://bioinfo.ernet.in/library/gnr/mat.html

List of Mathematical Philosophy Reports Ramachandran,G.N. (1979) SYAD - NYAYA System Logic Essential ideas connected with Propositional Calculus. April, MR-1, 38pp Ramachandran,G.N. (1979) Alais and their dynamics. July, MR-2, 16pp Ramachandran,G.N. (1979) Science and Society. Feb., MR-3, 25pp. Ramachandran,G.N. (1979) Bhaja Govindam.Oct. MR-4, 17pp Ramachandran,G.N. Ramachandran,G.N. and Thanaraj,T.A. (1980) Outline of the Fortran Program. NYAYA 1. Nov., MR-6, 32pp Ramachandran,G.N. 1980) Quality in Science. Curr. Sci ., 49, MR-7, 32pp (See also Journal section, entry no. 206) Ramachandran,G.N. 1980) Computerization of Logic. March (Golden Jubilee Commemoration Vol. of National Academy of Sciences, Allahabad, P.1,) MR-8, 80pp Ramachandran,G.N. 1980) The unknowable knowledge. June, MR-9, 13pp Ramachandran,G.N. (1980) Kena Upanishad. The Yoga Review 1, 191, June, MR-9A, 19pp Ramachandran,G.N. (1980) Fortran Program NYAYA 2. Notation and Nomenclature June, MR-10, 15pp Ramachandran,G.N. (1980) Principles of Deduction. Aug., MR-11, 63pp Ramachandran,G.N.

63. 1Up Science > Links Directory > Math: Algebra: Category Theory research papers on the subjects of categorical algebra, categorical logic,categorical geometry, lattice theory, universal algebra, algebraic geometry. http://www.1upscience.com/links/algebra-category-theory.html

Home Contact Us Privacy Search 1Up Science Science A-Z A B C D ... Z Agriculture Animals Economics Farming Practices Field Crops ... More.. Alternative Science Alchemy Archaeology Astronomy Cryptozoology ... More.. Astronomy Astrophysics Calendars and Timekeeping Cosmology Eclipses and Occultations ... More.. Biology Biochemistry Biotechnology Botany Ecology ... More.. Chemistry Biochemistry Chemical Engineering Electrochemistry Elements ... More.. Earth Sciences Ecology Geology Geomatics Geophysics ... More.. Environment Air Quality Ecology Energy Health ... More.. Math Algebra Chaos and Fractals Differential Equations Geometry ... More.. Physics Alternative Astronomy Astrophysics Crystallography ... More.. Social Sciences Anthropology Archaeology Cognitive Science Economics ... Urban and Regional Planning s More.. Technology Acoustics Aerospace Chemical Engineering Electronics ... Algebra : Category Theory Description Categories Events Journals Research Groups See Related Categories Games: Card Games: Special Decks: Ccard Science: Math: Logic and Foundations Science: Math: Topology: Algebraic Topology Sites Applied and Computational Category Theory A brief description of category theory, and some useful links.

64. IntroductionEssay From logic to algebra to Topology to logic. The study of logic in its own right However when it is realised that the categorical language is expressible http://mcs.open.ac.uk/cft36/IntroductionEssay.htm

From Topology, Logic and Category to the Geometric Mathematical Framework: Research Explained This page is intended as an essay for the educated but mathematically less sophisticated reader. From Logic to Algebra to Topology to Logic The study of logic in its own right has a long and distinguished history, and has experienced remarkable moments of clarity over the years; for example the introduction of the Boolean algebra whereby a deep connection was made between reasoning about truth in the abstract and a concrete algebraic structure. The study of algebra (as done by any school student) provides well established mathematical tools - the introduction of the Boolean algebra allowed these algebraic tools to be applied to the study of logic. The study of topology also has an illustrious history: on a basic level it is mankind's attempt to model the physical world in which we all move. One moment of clarity in topology was the introduction of the, now standard, definition of a topological space by Hausdorff early in the 20 th Century. This absolutely simple definition gave workers the ability to reason about all spaces and with few exceptions all discussion in mathematics about models of physical space use models that are examples of this definition. So, the spaces that are investigated by physicists today (or, developed by Einstein) are all examples of topological spaces.

65. Barcelona Meeting 2005 Algebraic logic Coalgebraic semantics - categorical semantics in general -Dynamic logic and dynamic algebras - Fuzzy and many-valued logics http://www.mat.ub.es/~logica/meeting2005/

Algebraic and Topological Methods in Non-Classical Logics II Barcelona, 15-18 June 2005 This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004. In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research. The scientific programme of the congress will include a few invited lectures and will provide ample time for contributed talks and interaction between participants. Researchers whose interests fit the general aims of the conference are encouraged to participate. The featured areas include, but are not limited to, the following (in alphabetical order):

66. Bath University - Department Of Computer Science Carsten Führmann Semantics of programming languages; logic; categorical Dan Richardson Geometry; logic; algebra; exact real computation; neural nets. http://www.bath.ac.uk/comp-sci/research/logsymmemb.shtml/

Mathematical Logic and Symbolic Computation Group Back to the group page. Academic Staff Russell Bradford Computer algebra; LISP; networks and security. James Davenport Computer algebra; cryptography. John Fitch Symbolic computation; computer music; compilers. Semantics of programming languages; logic; categorical semantics in proof theory. David Pym Mathematical logic; categorical semantics in proof theory; reductive logic and proof-search; semantics of programming languages; concurrency and systems modelling. Dan Richardson Geometry; logic; algebra; exact real computation; neural nets. Chris Tofts (Visiting Professor) Systems modelling; process algebra; simulation. Nicolai Vorobjov Algebraic geometry; model theory; algorithms and complexity. Marina de Vos Logic programming; game theory; knowledge representation. Research Officers James Beaumont Computer algebra; simplification of elementary functions. Matthew Collinson Mathematical logic; point-free topology; semantics of programming languages. Semantics of programming languages; logic; categorical semantics of proof theory.

67. PUT Libary Borceux, Francis, Handbook of categorical algebra Jacobs, Bart, categoricalLogic and Type Theory (paperback), 2001, Michal http://www.ii.uib.no/~wolter/put/put-library.html

PUT Libary Nr. Authors/Editors Title Year Place Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science Vol. 1 - Background: Mathematical Structures Michal Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science Vol. 2 - Background: Computational Structures Michal Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science Vol. 4 - Semantic Modelling Michal Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science Vol. 5 - Logic and Algebraic Methods Michal Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 1 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 2 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 3 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 4 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 5 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 6 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 7 Thomas Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 8

68. Selected Conference, Workshop Activities,   Memberships 150 years celebration of Grassmann s work in algebra and geometry, Lieschow/Rügen,Germany, On categorical and Logical Modeling in Multiagent Systems. http://www.cosy.sbg.ac.at/~jpfalz/conferences.html

Selected Conference, Workshop Activities, Memberships Invited Lectures, Invitations On reasoning in robotics scenarios. Symposium on Automated Practical Reasoning; European Summer School in Logic, Language and Information (ESSLLI' 93), University of Lisbon 8/1993 Geometric and topological reasoning in robotics. Congress of the Belgian Mathematical Society, Antwerpen, 5/1994 Grassmann geometry applied to a problem in robotics. Application of Neural Networks. The economic value of a mathematical model. Workshop Fuzzy, Neuro and Genetic, Schloss Hagenberg, Austria, 2/1996 Applied and Computational Categories. The Concept of Logical Fiberings and Applications. LACS Minisemester, Stefan Banach Mathematical Center, Warsaw, 12/1996 On the Geometry of Robot Arms. Kepler Lecture Series, University of Linz, 1/1997 Obtained Invitation to International Workshop "Mathematical Physics today, Priority Technologies for tomorrow". Kiev, Ukraine, 12-17 May, 1997. Some Reflections on Knowledge-based System Modeling - Mathematical Aspects: Applications to Symbolic (and Geometric) Modeling of Robot Arms.

69. Carnegie Mellon Department Of Philosophy: Research categorical logic is a relatively new field arising from the application of the It is a branch of abstract algebra invented in the tradition of Felix http://www.hss.cmu.edu/philosophy/research-category.php

Research Areas Categorical Logic Categorical logic is a relatively new field arising from the application of the mathematical theory of categories to logic and theoretical computer science. Category theory consists of a characteristic language and collection of methods and results that have become common-place in many mathematics-based disciplines. It is a branch of abstract algebra invented in the tradition of Felix Klein's Erlanger Programm as a way of studying different kinds of mathematical structures in terms of their "admissible transformations". The general notion of a category provides an axiomatization of the notion of a "structure-preserving transformation", and thereby of a species of structure admitting such transformations. As an abstract theory of mappings, with such great generality, it is not surprising that category theory should have wide-spread applications in many types of foundational work. The applications of category theory in logic often involve the use of topology, sheaf theory, and other ideas imported from geometry, particularly in constructing models. This occurs, for example, in domain theory or topos theory. But as in algebraic topology, where category theory was first invented, extensive use is also made of algebraic techniques, for example in the treatment of logical theories as "generalized algebras". In this way, categorical logic typically treats the classical, logical notions of semantics as "geometry" and syntax as a kind of "algebra", to which general category theory can then be applied, in order to study the connections between the two.

70. CoMeta - Computational Metamodels - Home bialgebras, and the categorical algebra of cospanspan of graphs), and onsystems of logical semantics based on implicit intersection type theories. http://cometa.dimi.uniud.it/

CoMeta - Computational Metamodels Home Meetings Documents and Reports Publications ... Tools NEWS The final workshop of the project is approaching! Description The CoMeta project is partially funded by the Ministero dell'Istruzione, Università e Ricerca (MIUR) . The project number is COFIN 2001013518. The duration is 24 months (2002-2003). Scientific Coordinator: Furio Honsell Principal Partners and Contacts: Dipartimento di Scienze Chimiche, Fisiche e Matematiche, Università dell'Insubria - Nicoletta Sabadini Dipartimento di Informatica, Università di Pisa - Ugo Montanari Dipartimento di Informatica, Università di Torino - Mariangiola Dezani Dipartimento di Matematica e Informatica, Università di Udine - Marino Miculan Summary of Project Computer Science has grown into a complex discipline, with scientific and technological sides to it, which intersects various knowledge domains at once, and acts at various levels of abstraction. In order to put into focus the present project, it appears convenient to distinguish two metalevels, above the basic one, which is the one where hardware and software systems live. The semantical and syntactical tools which are normally used to specify and analyze the object level systems appear on the first of these metalevels. This is the abstraction level of programming and specification languages, of calculi, of denotational and operational models, of automata, of Petri Nets, etc., but it is also the level of the logical systems used in verfying and analyzing properties of programs and processes, etc.

71. COMETA 2003 - Udine, 15-17 Dicembre 2003 bialgebras, and the categorical algebra of cospanspan of graphs), and systemsof logical semantics based on implicit intersection type theories. http://cometa.dimi.uniud.it/cometa03/

COMETA 2003 Final workshop of the project COMETA http://cometa.dimi.uniud.it/cometa03/ Scope and Aims The main aims of the COMETA Project are to study general issues concerning computational metamodels, and to explore the possibility of utilizing successfully as computational metamodels some logical and categorical frameworks recently proposed: Logical Frameworks based on constructive type theories and exploiting higher order abstract syntax, various syntax-free approaches to concurrency and mobility (such as Tile Logics, double categories, graph transformation systems, bialgebras, and the categorical algebra of cospan-span of graphs), and systems of logical semantics based on implicit intersection type theories. This final workshop will describe the results and progress achieved in the project. Topics on which papers are solicited include (but are not limited to) the followings: the usability of each of the metamodels above, and comparison of the advantages of the different representations that each of these provide, for various systems arising in the areas of concurrency and mobility methodologies for transfering techniques and constructions between different encodings within one metamodel, and between different metamodels.

72. CUNY GC Computer Science - Doctoral Faculty Category Theory; categorical logic; Universal algebra. Homepage. Yarmish, GavrielPh.D., Polytechnic University; Assistant Professor, Brooklyn College. http://web.gc.cuny.edu/Computerscience/faculty.html

365 5th Avenue New York City 10016 Room 4319 Phone: 212.817.8190 Fax: 212.817.1510 compsci@gc.cuny.edu Computer Science Doctoral Faculty Ahamed,Syed V. Ph.D.; D.Sc., University of Manchester (UK); Professor, College of Staten Island; Telecommunications and intelligent networks; Distributed and parallel processing; M.I.S.; Design and optimization techniques; High-speed and asymmetric and digital subscriber lines. Homepage. Anshel, Michael Ph.D., Adelphi University; Professor, The City College; Computational methods in algebra, combinatorics, and number theory; Cryptology and computer security; Quantum computing; History of computing; Bioinformatics. Homepage. Arnow, David Ph.D., New York University; Professor, Brooklyn College. Distance learning and CS education; Webcomputing; Monte Carlo methods. Homepage.

73. CRTC -- Montréal -- Seminars An Algebraic / categorical Approach to the logic of Information Flow (Abstract).12 April 2005 400 530 Bob Coecke Abstract Quantum Mechanics III http://www.math.mcgill.ca/rags/seminar/

Category Theory Research Center Seminars scheduled in 2005-2006 20 Sept 2004 2:30 - 4:00 Gadi Moran From Monotone Functions to Scattered Orders (Abstract) PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY (COOKIES AND COFFEE AFTER THE TALK, IN THE LOUNGE) If you wish to receive regular updates to this list by email, send your request to be added to the e-list to RAG Seely (rags@math.mcgill.ca) (Other seminars in Montreal) Seminars and abstracts from 1998-1999 Seminars and abstracts from 1999-2000 Seminars and abstracts from 2000-2001 Seminars and abstracts from 2001-2002 ... Octoberfest 99 Seminars from previous years (rough listings) Octoberfest '95 Barrfest '97

74. FOM: Categorical Mis-foundations; Essentially Algebraic Theories FOM categorical misfoundations; essentially algebraic theories Isn t thatthe point of categorical logic? If not, then what *is* the purpose of http://www.cs.nyu.edu/pipermail/fom/1998-March/001469.html

FOM: categorical mis-foundations; essentially algebraic theories Stephen G Simpson simpson at math.psu.edu Sun Mar 15 01:32:41 EST 1998 Previous message: FOM: essentially algebraic; worse than Simpson Next message: FOM: rings vs. algebras Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Previous message: FOM: essentially algebraic; worse than Simpson Next message: FOM: rings vs. algebras Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] ... More information about the FOM mailing list

75. Elsevier.com - Algebraic Logic Relativized Relation Algebras. categorical Versus Algebraic logic. IntroductoryCourse on Relation Algebras, FiniteDimensional Cylindric Algebras, http://www.elsevier.com/wps/product/librarians/523236

Home Site map Regional Sites Advanced Product Search ... Algebraic Logic Book information Product description Author information and services Ordering information Bibliographic and ordering information Conditions of sale Book related information Submit your book proposal Other books in same subject area About Elsevier Select your view ALGEBRAIC LOGIC Edited by J.D. Monk Included in series Colloquia Mathematica Societatis Janos Bolyai, 54 Description Contents Hardbound, ISBN: 0-444-88543-9, vi + 746 pages, publication date: 1991 Imprint: NORTH-HOLLAND Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries. Customers who order on-line from the Americas will be invoiced in USD and all other countries will be invoiced in GBP. See also information about , and links to our regional sales offices Last update: 15 Jul 2005 Scroll(200, 120, 120,'Out of print');

76. ECS EPrints Service - On Specification Logics For Algebra-coalgebra Structures: Cirstea, C. (2002) On specification logics for algebracoalgebra structures Handbook of categorical algebra, volume 2. CUP, 1994. 5. C. Cirstea. http://eprints.ecs.soton.ac.uk/9116/

@import url(http://www.ecs.soton.ac.uk/style/css/ecs.php); @import url(http://eprints.ecs.soton.ac.uk/eprints.css); Skip to main content Skip to sub navigation EPrints Home Browse ... Members Area Site Search University of Southampton ECS Publications On specification logics for algebra-coalgebra structures: reconciling reachability and observability Cirstea, C. On specification logics for algebra-coalgebra structures: reconciling reachability and observability . In Proceedings of Foundations of Software Science and Computation Structures Conference , pages Grenoble, France Nielsen, M. and Engberg, U. , Eds. Downloads File type File size PDF - Requires Adobe Acrobat Reader or other PDF viewer. Abstract 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.

77. ECS EPrints Service - A Compositional Approach To Defining Logics For Coalgebras Our framework subsumes several existing approaches to defining logics for coalgebras, F. Borceux, Handbook of categorical algebra, Vol. II. http://eprints.ecs.soton.ac.uk/10002/

@import url(http://www.ecs.soton.ac.uk/style/css/ecs.php); @import url(http://eprints.ecs.soton.ac.uk/eprints.css); Skip to main content Skip to sub navigation EPrints Home Browse ... Members Area Site Search University of Southampton ECS Publications A compositional approach to defining logics for coalgebras Cirstea, C. A compositional approach to defining logics for coalgebras Theoretical Computer Science Downloads File type File size PDF - Requires Adobe Acrobat Reader or other PDF viewer. Abstract We present a compositional approach to defining expressive logics for coalgebras of endofunctors on Set. This approach uses a notion of language constructor and an associated notion of semantics to capture one inductive step in the definition of a language for coalgebras and of its semantics. We show that suitable choices for the language constructors and for their associated semantics yield logics which are both adequate and expressive w.r.t. behavioural equivalence. Moreover, we show that type-building operations give rise to corresponding operations both on language constructors and on their associated semantics, thus allowing the derivation of expressive logics for increasingly complex coalgebraic types. Our framework subsumes several existing approaches to defining logics for coalgebras, and at the same time allows the derivation of new logics, with logics for probabilistic systems being the prime example. Item Type Article Keywords coalgebra, modal logic, behavioural equivalence, Hennessy-Milner property

78. Ottawa Carleton Logic Seminar An algebraic/categorical approach to the logic of information flow (Abstract) The aim of this work is to provide a categorical axiomatization of http://www.mathstat.uottawa.ca/lfc/seminar.html

Ottawa Carleton Logic Seminar, Winter 2005 Logic Seminars are on Fridays, 11:30am in Room B3 (Math building). If you would like to be added to (or removed from) the mailing list, please email Peter Selinger . If you would like to schedule a talk, please email Phil Scott . Here is the schedule so far: Date Talk Jan 14 Venanzio Capretta (Ottawa) "Is ITZ impredicative?" Abstract Jan 21 Pieter Hofstra (Ottawa) "A framework for all realizability notions" Jan 28 Robin Cockett (Calgary) "Differential categories" Abstract Feb 4 Ebenezer Ntienjem (Ottawa) "Reconsidering the Completion of a Logic Program" Abstract Feb 16 1pm, LMX 223 Luigi Santocanale (Marseille) "Completions of mu-algebras" Abstract Mar 4 Philip Scott (Ottawa) "Partial Traces and Geometry of Interaction" Abstract Mar 11 Pieter Hofstra (Ottawa) "Introduction to Sheaves and Invariants" Abstract Mar 18 Mark Weber (Ottawa) "Limit sketches and LFP categories" Apr 8 Mehrnoosh Sadrzadeh (Oxford) "An algebraic/categorical approach to the logic of information flow" Abstract Apr 15 Benoit Valiron (Ottawa) "A lambda calculus for quantum computation with classical control" Abstract May 13, 1pm, B15

79. Concurrency-1993 Algebraic And Categorical Methods In Computer http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/Mailing_List_archive/con_h

Algebraic and Categorical Methods in Computer Science Lubos Brim ( brim@adelard.dcs.muni.cs Thu, 6 May 1993 12:11:02 +0200 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: Bard Bloom: "CFP: North American Process Algebra Workshop" Previous message: Frits.Vaandrager@cwi.nl: "CF Participation PN93/Chicago, Final Prog" Tempus Summer School for Algebraic and Categorical Methods in Computer Science Second Announcement Brno, June 28 - July 3, 1993 Sponsored by the European Community TEMPUS office the organizers are pleased to announce an intensive course designed to serve its students as a forum for exchange of ideas between the disciplines of mathematics and computer science. Courses: P. J. Freyd (Philadelphia), Cartesian Logic and Cartesian Categories Y. Lafont (Paris), Linear Logic J. Lambek (Montreal), Categories and Deductive Systems C. P. Stirling (Edinburgh), Modal and Temporal Logics for Processes G. Winskel (Aarhus), Models and Logic for Concurrent Computation

80. UIUC Dept. Of Mathematics Seminar Calendar for logic Seminar events the next 12 months of Saturday, January 1, 2005. Generics, connected components, and algebraic groups over padically closed http://torus.math.uiuc.edu/cal/math/cal?year=2005&month=01&day=01&interval=next

Page 4     61-80 of 85    Back | 1  | 2  | 3  | 4  | 5  | Next 20