Home  - Pure_And_Applied_Math - Categorical Algebra And Logic

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

41-60 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20

Categorical Algebra And Logic:     more detail

Categorical Topology Categorical Closure Operators by Gabriele Castellini, 2003-05-15 Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 2001-07-01 Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic) by Michael Winter, 2007-07-23 Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications) by D. Dikranjan, W. Tholen, 1995-10-31 Categorical Perspectives (Trends in Mathematics) Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten, 2008-04-16

lists with details

41. Science/Math/Algebra/Category_Theory
    Geometry Homepage This site contains online books and research papers on the subjectsof categorical algebra categorical logic categorical geometry lattice  
    http://www.science-and-research.com/Science/Math/Algebra/Category_Theory/
    
    Extractions: Search: Welcome to the science-and-research.com search portal. Here you will find numerous research and educational resources associated with the field of science. Whether you are a parent, teacher, student, engineer, scientist, mathematician or simply a science lover, science-and-research.com has content that matches your specific interests. We recognize that science is an expansive topic that embraces many areas including education, research, and development. Therefore we have strategically designed our search portal for ease of navigation. Organized by category, you may navigate through broad categories, from wide-ranging scientific information to specific content on selected topics. In addition, you may opt to use our intelligent search feature if you have a specific science-related query. Science Math Algebra Category Theory Journals

42. Untitled
    Once more on countably categorical theories, Siberian mathematical journal, 1999,Vol. 40, No. 2. 63. Once more on Higman's question, algebra and logic, Vol.  
    http://server.math.nsc.ru/~asm256/Papers.html

43. ESSLLI'01 Course On Coalgebras And Modal Logic
    Modal and Equational logic Using a categorical formulation of of view is W. Wechler,Universal algebra for Computer For background on modal logic I recommend P  
    http://www.cwi.nl/~kurz/cml-esslli01.html
    
    Extractions: The course notes ( ps.gz ps ) are available in a revised version from October 2001. Sketch of the 5 Lectures Introduction to Systems. Behavioural equivalence, bisimulation, coinduction, final coalgebras, examples, applications. (No category theory). Coalgebra. Introduction to universal coalgebra and, as far as needed, category theory. (In contrast to the notes, we will spend quite some time to introduce the necessary categorical concepts.) Introduction to Modal Logic . Just some basics on Kripke models and frames, definability and bismulation. Coalgebras and Modal Logic (coalgebras as dynamic systems and modal logics as the appropriate specification languages; an overview of some current approaches). On the Duality of Modal and Equational Logic Using a categorical formulation of the coalgebraic semantics of modal logic we can explain the common ground of the different approaches discussed in the previous lecture; moreover, the idea that `modal logic is dual to equational logic' can now be formally justified. As an application we prove the dual of the HSP-theorem (Birkhoff's variety theorem).

44. WEBCSBMI: Online: Seriali On-line
    The ANZIAM Journal, SI, SI, NO. Applied categorical Structures, SI, SI, SI. Journalof Pure and Applied algebra, SI, SI, SI. Journal of Symbolic logic (The), SI,NO, SI.  
    http://www.csb-main.unige.it/Online/rivisteol/

45. Fundamenta Informaticae, Volume 32
    for abstract Fork algebras in algebra, logic and Computer Science MF FRIAS , GA BAUMand A. M.HAEBERER The Topos of Labelled Trees A categorical Semantics for  
    http://fi.mimuw.edu.pl/vol32.html
    
    Extractions: Click on title for abstract Fork Algebras in Algebra, Logic and Computer Science M. F. FRIAS , G. A. BAUM and A. M.HAEBERER The Topos of Labelled Trees: A Categorical Semantics for SCCS S. KASANGIAN and S. VIGNA Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus D. PIGOZZI and A. SALIBRA Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines J. TYSZKIEWICZ Substitutivity Principles in Some Theories of Uncertainty M.K. CHAKRABORTY and E. ORLOWSKA Qualifying Answers According to User Needs and Preferences T. GAASTERLAND and J. LOBO Complexity of Recursive Normal Default Logic V. MAREK, A. NERODE and J. B. REMMEL Rough Set Approximations of Languages G. PAUN, L. POLKOWSKI and A. SKOWRON Combining Closed World Assumptions with Stable Negation C. RUIZ and J. MINKER Proposal for a Theory of Belief Revision Along the Lines of Lindstroem and Rabinowicz K. SEGERBERG

46. Accompanying Literature
    Fibrations Bart Jacobs categorical logic and Type Theory, NorthHolland, 1999.F. Borceaux Handbook of categorical algebra, volume 50, 51, 52 of Encyclopedia  
    http://siskin.pst.informatik.uni-muenchen.de/spring-school99/lit.html

47. UCL/AGEL -
    logic 103, no On the abstract characterization of quasivarieties, algebra Universalis43 F. and VITALE E., Azumaya categories, Applied categorical structure (to  
    http://gauss.math.ucl.ac.be/AGEL/AGELrech1.html
    
    Extractions: 5) Accessible categories are the categories of models of sketchable theories. Our group has been involved in various research projects in this area: an enriched theory of accessible categories, a Morita theorem for sketches, a classification of accessible categories independent of cardinal arithmetic, a study of injectivity in accessible categories. Borceux F., Handbook of categorical algebra, Encyclopedia of Mathematics and Its Applications. 50, 51, 52. Cambridge University Press 1994. xv+345 p., xvii+443 p., xvii+522 p. Borceux F. and Succi-Cruciani R., A generic representation theorem for non-commutative rings, J. Algebra 167, No.2, 291-308 (1994).

48. Electronic Journals On Mathematics
    algebra and logic; algebras and Representation Theory; algebra universalis; Analysis ofMathematics; Applied categorical Structures; Applied  
    http://www.uark.edu/libinfo/subject/math/Journals.html

49. Meeting AMS-UMI - Session 51 - Algebraic Logic And Universal Algebra
    systems in abstract algebraic logic postscript PDF. Poland) Generative complexityin algebra postscript PDF. of Tartu, Estonia) On categorical equivalence of  
    http://spot.colorado.edu/~kearnes/Pisa/session51.html

50. KLUWER Academic Publishers | Category Theory, Homological Algebra
    Theory of Topological Structures An Approach to categorical Topology Gerhard PreussDecember 1987 Universal algebra, algebraic logic, and Databases B  
    http://kapis.www.wkap.nl/home/topics/J/4/4/?sort=A&results=20

51. OSU Math - Online Mathematics Journals - OhioLink: Math
    of Pure and Applied logic; Annals of the Applicable algebra in Engineering, Communicationand Computing; Harmonic Analysis; Applied categorical Structures; Applied  
    http://www.math.ohio-state.edu/library/online/ohiolink/math.html
    
    Extractions: OhioLink: math Acta Applicandae Mathematicae Acta Informatica Acta Mathematica Hungarica Acta Mathematica Sinica, English Series ... Comptes Rendus Mathematique 2002-present Comptes Rendus de l'Academie des Sciences Series IIB Mechanics Physics Chemistry Astronomy Comptes Rendus de l'Academie des Sciences Series IIB Mechanics Physics Astronomy Comptes Rendus de l'Academie des Sciences Series IIB Mechanics Comptes Rendus Mecanique ... Finite Fields and their Applications [supplement] Finite Fields and their Applications Fluid Dynamics Research Functional Analysis and its Applications Future Generation Computer Systems ... Mlq [Mathematical Logic Quarterly] Multidimensional Systems and Signal Processing Nonlinear Analysis: Real World Applications Nonlinear Analysis Nonlinear Differential Equations and Applications ... Zamm

52. Concurrency-1993: Algebraic And Categorical Methods In Computer Science
    Process algebra Workshop ; Tempus Summer School for algebraic and categorical Methods. CoursesPJ Freyd (Philadelphia), Cartesian logic and Cartesian Categories.  
    http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/Mailing_List_archive/con_h

53. Logic From FOLDOC
    Bocardo; Boolean; Boolean algebra; Boolean logic; bottom; bound variable; Busy Beaver;c; Camenes; Camestres; Cantor's theorem; categorical logic; categorical  
    http://www.swif.uniba.it/lei/foldop/contents/logic.html

54. HTML Generated By Txt2html Via TOM
    or logic. Text Barr, M. Wells, C. Categories for Computing Science. New a. FurtherReferences Borceux, F. Handbook of categorical algebra (Encyclopedia of  
    http://www.andrew.cmu.edu/user/awodey/introcat/
    
    Extractions: Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines. To be followed by a Spring seminar on more advanced topics. Prerequisites

55. Chronological List Of Publications
    Symbolic logic, Abstract, Vol. 31 (1966), 294295. 5. The Category of Categoriesas a Foundation for Mathematics, La Jolla Conference on categorical algebra,  
    http://www.acsu.buffalo.edu/~wlawvere/list.html
    
    Extractions: F. William Lawvere Chronological list of publications HOME Subject Classification Bottom of page (most recent) 1. Functorial Semantics of Algebraic Theories Proceedings of the National Academy of Science 50 , No. 5 (November 1963), 869-872. 2. Elementary Theory of the Category of Sets Proceedings of the National Academy of Science 52 , No. 6 (December 1964), 1506-1511. Algebraic Theories, Algebraic Categories, and Algebraic Functors, Theory of Models ; North-Holland, Amsterdam (1965), 413-418. Functorial Semantics of Elementary Theories Journal of Symbolic Logic , Abstract, Vol. 31 (1966), 294-295. The Category of Categories as a Foundation for Mathematics La Jolla Conference on Categorical Algebra , Springer-Verlag (1966), 1-20. Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories Springer Lecture Notes in Mathematics No. 61 , Springer-Verlag (1968), 41-61. Ordinal Sums and Equational Doctrines Springer Lecture Notes in Mathematics No. 80 , Springer-Verlag (1969), 141-155. Diagonal Arguments and Cartesian Closed Categories Springer Lecture Notes in Mathematics No. 92

56. ONT Re: Higher Order Categorical Logic
    f!(x) in an indeterminate x over a Schoenfinkel algebra A can be J. Scott, PJ, 'Introduction To Higher Order categorical logic', Cambridge University  
    http://suo.ieee.org/ontology/msg03398.html
    
    Extractions: Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index http://uk.cambridge.org/mathematics/catalogue/0521356539/ ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic From: Prev by Date: ONT Re: Higher Order Categorical Logic Next by Date: ONT Re: Apposite Purposes Of Logical Languages Objectified (APOLLO) Prev by thread: ONT Re: Higher Order Categorical Logic Next by thread: ONT Re: Higher Order Categorical Logic Index(es): Date Thread

57. ONT Re: Higher Order Categorical Logic
    Generic Ontology Group ontology@ieee.org ; Subject ONT Re Higher Order CategoricalLogic; these identities here, but reserve the name Curry algebra for a  
    http://suo.ieee.org/ontology/msg03399.html
    
    Extractions: Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index http://uk.cambridge.org/mathematics/catalogue/0521356539/ ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic ONT Re: Higher Order Categorical Logic From: Prev by Date: ONT Re: Higher Order Categorical Logic Next by Date: ONT Re: Higher Order Categorical Logic Prev by thread: ONT Re: Higher Order Categorical Logic Next by thread: ONT Re: Higher Order Categorical Logic Index(es): Date Thread

58. MathWare: Numero4-1
    M. Keywords QMValgebra, MV-algebra, quantum logic they are models of Lukasiewiczinfinite-valued logic. this result showing a categorical equivalence between  
    http://www.upc.es/ea-smi/mathware/v4n1/num4-1.html
    
    Extractions: Keywords: MV-algebra, orthogonal decomposition, basis, closed ideal, semisimple MV-algebra, complete MV-algebra. Axiomatizing Quantum MV-Algebras Author(s): R. Giuntini Abstract: We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M. Keywords: QMV-algebra, MV-algebra, quantum logic. Convergence in MV-algebras Maximal MV-algebras Representation of a Boolean Algebra by its Triangular Norms Author(s): Suryansu Ray Abstract: Given a complete and atomic Boolean algebra B, there exists a family Tau sub gamma of triangular norms on B such that, under the partial ordering of triangular norms, tau sub gamma is a Boolean algebra isomorphic to B, where gamma is the set of all atoms in B. In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms. What we have not shown in this paper is our belief that tau sub gamma is not unique for B and that, for such a representation, B needs neither to be complete, nor to be atomic.

59. Category Theory (M24)
    2. Francis Borceux, Handbook of categorical algebra , Cambridge University Press(1994). next up previous Next Set Theory (M24) Up logic Previous logic Part  
    http://www.maths.cam.ac.uk/CASM/courses/descriptions/node26.html
    
    Extractions: Next: Set Theory (M24) Up: Logic Previous: Logic E. Cheng Category theory begins with the observation (Eilenberg-MacLane 1942) that the collection of all mathematical structures of a given type, together with all the maps between them , is itself an instance of a nontrivial structure which can be studied in its own right. In keeping with this idea, the real objects of study are not so much categories themselves as the maps between themfunctors, natural transformations and (perhaps most important of all) adjunctions. Category theory has had great success in the unification of ideas from different areas of mathematics; it has now become an indispensable tool for anyone doing research in topology, abstract algebra, mathematical logic or theoretical computer science (to name but a few examples). This course aims to give a general introduction to category theory, without any (intentional!) bias in the direction of any particular application. It should therefore be of interest to a large proportion of pure Part III students. Categories, functors and natural transformations.

60. All Titles - Cambridge University Press
    First Steps in Modal logic Sally Popkorn Hardback Published December 1994. Handbookof categorical algebra Francis Borceux Volume 1, Basic Category Theory  
    http://publishing.cambridge.org/stm/mathematics/foundations/all/page5

41-60 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20