81. Bigchalk: HomeworkCentral: Mathematical Logic (Logic) Looking for the best facts and sites on mathematical logic? logic Foundations ofMathematics; logic of Proabablity Theory; mathematical logic Foundations; http://www.bigchalk.com/cgi-bin/WebObjects/WOPortal.woa/Homework/High_School/Com

Home About Us Newsletters My Products ... Product Info Center Email this page to a friend! K-5 Mathematical Logic document.write(''); document.write(''); document.write(''); document.write(''); Beginnings of Set Theory Combinatory Logic High Order of Set Theory LCF Paradigm ... Contact Us

82. School Of Computing Science At SFU School of Computing Science. Research labs focus on algorithms and optimization, systems science, computational epidemiology, computer vision, database systems, graphics and multimedia, hardware design, software agents, intelligent software and systems, knowledge representation, logic and functional programming, medical computing, natural language processing, parallel and distributed computing, mathematical sciences, programming languages, simulating and exploring ecosystem dynamics, and distance learning. http://www.cs.sfu.ca/

About Us People Research Grad ... Congratulations to CS ACM Teams! Seminars and Events Graph Theory of Brian Alspach - May 25-29, 2003 About Us General Contact Info ... MSc/PhD Theses Academic Programs Graduate Studies Undergraduate Studies General Interest Forms Events Library School of Computing Science ... csweb@cs.sfu.ca

83. Department Of Mathematical Logic And Theory Of Algorithms Department of mathematical logic and Theory of Algorithms. Moscow StateUniversity. English Russian . Department of mathematical http://markov.math.msu.ru/eng/logic.htm

Russian Department of Mathematical Logic and Theory of Algorithms Faculty of Mechanics and Mathematics Moscow State University History of the Department Anniversary ... Scientific research Information for first- and second-year students ( in Russian Special courses and seminars ( in Russian Faculty members of the Department Laboratory for Logical Problems of Computer Science The Department is located in the main building of the Moscow State University, room 16-05. Address Department of Mathematical Logic and Theory of Algorithms Faculty of Mechanics and Mathematics Moscow State University Leninskie gory, Moscow, 119992 RUSSIA Tel/fax Location: http://markov.math.msu.ru/eng/logic.htm Last modified 12.03.2003. Mati Pentus Tel/fax: + 7 - 095 - 939 30 31 E-mail: pentus lpcs.math.msu.ru webmaster lpcs.math.msu.ru

84. Home Page Of Joao Marcos State University of Campinas, Brazil Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics. http://www.geocities.com/jm_logica/

Home Page of Main Page Publications References CV Links This is a page about logic logic and, of course, logic My range of logical interests includes almost any other interesting topic, and my work touches themes from both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics. I am engaged in investigating both the theoretical foundations and the applications of those logics and methods. This way I can afford being semi-illiterate in several logical topics at once I am currently a member of the Center for Logic and Computation CLC ), at the IST , in Portugal. Here is where I live now: , on a scholarship from FCT . Just before that, I held a CNPq doctoral grant at the Center for Logic, Epistemology and the History of Science CLE ) and IFCH , at Unicamp , Brazil. I am still a member of the Group for Theoretical and Applied Logic GTAL ), over there. In 2001, I held a Dehousse doctoral grant and worked as a researcher at the Centre for Logic and Philosophy of Science , at RUG , Belgium. And before that, just after leaving my egg and deciding to really swamp into logic, I held a

85. BUBL LINK / 5:15 Internet Resources: Mathematical Logic Press Subjects mathematical logic DeweyClass 511.3 ResourceType journal Locationuk Last checked 20001206 mathematical logic Around the World Links to http://bubl.ac.uk/link/m/mathematicallogic.htm

BUBL LINK / 5:15 Catalogue of Internet Resources Home Search Subject Menus A-Z ... About Mathematical logic A-Z Index Titles Descriptions Boole: Calculus of Logic Electronic Stacks Project Journal of Logic and Computation Logic Journal of the IGPL ... Research Groups in Logic and Theoretical Computer Science Page last updated: 04 July 2002 Comments: bubl@bubl.ac.uk Boole: Calculus of Logic An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats. Author: George Boole and David R Wilkins Subjects: calculus, mathematical logic DeweyClass: ResourceType: article Location: ireland, europe Last checked: Electronic Stacks Project Project aiming to establish a distributed, evolving and live electronic dictionary of logic, an interdisciplinary subject covering philosophy, mathematics, language, psychology, computer science and artificial intelligence. Author: King's College London Subjects: mathematical logic, philosophical logic

86. REPORTS ON MATHEMATICAL LOGIC (Jagiellonian University Press) Contents and abstracts from no.25 (1991). http://www.uj.edu.pl/Phils/rml/rml.htm

KRAKOW Jagiellonian University Press Reports on Mathematical Logic Editors Pawel M. Idziak Jerzy Perzanowski Computer Science Department Jagiellonian University Department of Logic N. Copernicus University Department of Logic Jagiellonian University Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics. Previous issues Current issue Forthcoming papers Author Index ... Jagiellonian University Home Page

87. Mathematical Logic Group, Freiburg Institute for mathematical logic and Foundations of Mathematics. http://logik.mathematik.uni-freiburg.de/index_en.html

Deutsch University of Freiburg Faculty of Mathematics and Physics Mathematical Institute ... Institute of Computer Science Mathematical Institute of the University of Freiburg - Section of Mathematical Logic - Faculty of Mathematics and Physics General About Us (english) Visitor Service (english) Research Preprints and Theses (english) Research Reports (german) Research Training Group (german) People Faculty / Staff (english) Former members (german) Guests (german) Teaching Current Lectures (german) Past Lectures (german) Course Material (english) News Events (english) Current talks and seminars (german) Schedule of events at the department (german) Information Services Some links (german) University Library (english) Logic in the Open Directory (english) Last change: August 5, 2002 by the webmaster

88. Cognitive Studies At Cornell University The program offers an undergraduate concentration and a graduate minor, with strengths in philosophy of mind and language, theoretical and experimental linguistics, cognitive psychology, computer science, and mathematical logic. http://www.cogstud.cornell.edu/

Please excuse our appearance!! These pages are undergoing major renovations and some of the information is not currently being kept up to date. We hope to have the new web site released before the end of 2002. W elcome to Cognitive Studies at Cornell Active faculty and student participation and a broad intellectual base spanning multiple departments and colleges make Cornell an exciting environment for the study of mind/brain. Our strengths in cognitive psychology, computer science, theoretical and experimental linguistics, philosophy of mind and language, and mathematical logic lead to extensive interactions both in teaching and in research. Expanding programs in computational vision and computational linguistics are linked to these other research strengths. In addition to the spontaneous interdisciplinary interactions growing out of common interests in the nature of the mind, there are more formally structured aspects to cognitive studies at Cornell. These include a distinguished visitors program, campus-wide coordination of cognitive studies activities, and a range of courses and seminars in cognitive sciences, both undergraduate and graduate. Students are offered a graduate minor and an undergraduate concentration in the area. Yearly symposia and occasional summer conferences and institutes on topics of general interest are also part of the program. Please send general Cornell Cognitive Studies Program questions to cogst@cornell.edu

89. Prof Jeff Paris Homepage, Department Of Mathematics, Univ. Of Manchester, UK University of Manchester mathematical logic, in particular uncertain reasoning. http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm

DEPARTMENT OF MATHEMATICS Professor Jeff Paris Professor of Pure Mathematics Department of Mathematics University of Manchester Room: 15.09 Tel: + 44 (0)161 275 5880 Fax: +44 (0)161 275 5819 jeff@ma.man.ac.uk Research Interest Books Recent papers Journals ... Societies Research Interests Mathematical Logic, in particular uncertain reasoning. Publications Books: The uncertain reasoner's companion, - a mathematical perspective , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, pp212. Recent Papers: J.B. Paris (1997). A semantics for Fuzzy Logic. Journal of Soft Computing , vol.1, no.3, pp143-147. In defence of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning , vol.17, no.1, pp77-103. J.B. Paris (With R. Booth) (1998). A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information , vol.7, no.2, pp165-190. A proof theory for probabilistic uncertain reasoning. Journal of Symbolic Logic , vol. 63, no.3, pp1007-1039.

90. Mathematical Logic Group Home Page mathematical Institute, mathematical logic group. Members, seminars. Home of the Model Theoretic Exchange.Category Science Math Institutions Europe United Kingdom...... The mathematical logic Group The mathematical logic group is partof the mathematical Institute, at the University of Oxford. The http://www.maths.ox.ac.uk/logic/

University of Oxford Mathematical Institute Tel: +44 (0)1865 273525 Address: 24-29 St Giles', Oxford, OX1 3LB, UK Fax: +44 (0)1865 273583 The Mathematical Logic Group The Mathematical Logic group is part of the Mathematical Institute, at the University of Oxford. The interests of the group are diverse from geometric stability theory, model theory of fields to o-minimal structures. See individual homepages for further information on particular member's interests. Some of the members of The Mathematical Logic group are also members of the European Research Trainning Network Real Algebraic and Analytic Geometry. The Mathematical Logic group consists of the following long term members: Prof Alex Wilkie , email: wilkie@maths.ox.ac.uk Prof Boris Zilber , email: zilber@maths.ox.ac.uk The following Visiting Professors: Prof Jan Krajicek (Periodic visits funded by EPSRC), email: krajicek@maths.ox.ac.uk Prof Angus Macintyre (On sabbatical from the University of Edinburgh), email: angus@math.ed.ac.uk

91. Symbolic Logic - Wikipedia (Redirected from mathematical logic). infinitary permits sentences to be infinitelylong; intuitionistic system of logic used in mathematical intuitionism; http://www.wikipedia.org/wiki/Mathematical_logic

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Symbolic logic (Redirected from Mathematical logic Symbolic logic , or formal or deductive logic , is an attempt to codify and formalize the processes of reasoning, or logic . Logical statements are expressed as symbolic strings, in a precise, compact and unambiguous notation (sometimes described as a logical calculus ), similar to notations used in mathematics. Axioms , statements which are accepted without proof, are identified, and the valid rules of argumentation (transformation rules) are defined. There are many different systems of symbolic logic. A system of symbolic logic has a number of components: the set of acceptable sentences, called well-formed formulas (or wffs); transformation rules for deriving new formulas from one or more initial formulas; the set of axioms, which is a subset of the set of wffs. The sets of wffs and axioms can be finite or infinite, so long as they are recursive ; i.e. so long as there exists a procedure for determining whether any given sentence is a wff or axiom, which could be carried out in a finite number of steps by a device such as a

92. Symbolic Logic Game Of Logic : Mathematical Recreations Of Lewis Carroll : 2 Boo Symbolic logic Game of logic mathematical Recreations of Lewis Carroll 2 Books Bound As 1 Paperback (June 1958). http://www.data4all.com/list/500/512000/0486204928

Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1 Paperback (June 1958) Information, reviews, pricing for Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1 Paperback (June 1958) The Universe in a Handkerchief : Lewis Carroll's Mathematical Recreations, Games, Puzzles, and Word Plays Lewis Carroll's Games and Puzzles Rediscovered Lewis Carroll Puzzles An Introduction to Symbolic Logic Editorial Reviews Amazon.com Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and these two works show the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead youthis isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler. In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve. Great mind-stretching fun. Ingram The two works reprinted in this volume are a unique fusion of logical thought and inimitable whimsy. Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised. See all editorial reviews...

93. Modern Logic Home Page International Journal for the History of mathematical logic, Set Theory, and Foundations of Mathematics. http://www.ed.ac.uk/~pmilne/ml/home.html

M ODERN L OGIC A Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics ISSN 1047-5982 Mathematical logic...is the modern form of logic developed in the last hundred years. - Rudolf Carnap (1954) This site covers Volumes 1 to 8 of Modern Logic Starting with Volume 9, the journal is to continue as The Review of Modern Logic Contents Description and goals Editorial Board of Modern Logic Subscription and publication information ... Contents issue by issue with abstracts Modern Logic is currently abstracted in Bibliograficheskikh Ukazatelyakh Current Mathematical Publications Historia Mathematica Mathematical Reviews Referativnyi Zhurnal - Matematika Referativnyi Zhurnal - Filosofiya i Sotsiologiya Zentralblatt fuer Mathematik and the MathSci online database, and has exchange agreements with From the Logical Point of View Logique et Analyse LLULL: Revista de la Sociedad Espanola de Historia des las Ciencas y de las Tecnicas Manuscrito Mathesis Revue d'Histoire des Mathematiques Russell Studia Logica and Synthesis Philosophica/Filozofska Istrazivanja Modern Logic home page Description and goals Editorial Board of ... Contents issue by issue with abstracts

94. Results 16 Full Text Available, Communication with directed logic variables Alon 17, An introductionto programming with specifications a mathematical approach Roman http://portal.acm.org/results.cfm?query= F.4.1 CCS&coll=Portal&dl=GUI

95. ACM Guide: Category Index F. Theory of Computation browse F. Theory of Computation F.4 mathematical logicAND FORMAL LANGUAGES browse F.4 mathematical logic AND FORMAL LANGUAGES F.4.0 http://portal.acm.org/ccs.cfm?part=author&coll=portal&dl=ACM&row=F.4&idx=6&CFID=

96. Dana Scott's Home Page Carnegie Mellon University Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. http://www.cs.cmu.edu/~scott/

Dana S. Scott Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic Office Address: Finger me Prof. Dana S. Scott Office : WeH 7130 Computer Science Department Wean Hall Phone Carnegie Mellon University Pittsburgh, PA 15213-3890 , USA FAX : (412) 268-5576 (In CS Main Office) Home Address: 909 S. Negley Ave. Phone Pittsburgh, PA, 15232, USA FAX Secretary: Charlotte Yano (WeH 7121) Phone Travel: Summer 2002 Personal: Career Highlights Ph.D. Students Current Research Teaching: (Fall 2000) CS 15-499B Computational Algebra (Spring 2001) Sabbatical Leave in Sweden (Fall 2001) CS 15-819B Advanced Topics in Programming Languages (Domain Theory) (Spring 2002) CS 15-355 Computational Algebra (Fall 2002) CS: 15-859F Applied Logic INSTRUCTOR: Dana Scott TIME: MW 3:00-4:20 (Classes Start Wednesday, September 11, 2002) ROOM: NSH 3002 UNITS: 12 TEXTBOOK: Anil Nerode and Richard A. Shore, LOGIC FOR APPLICATIONS (Second Edition) Springer Verlag, 1997, 456 pp. ISBN: 0-387-94893-7 PREREQUISITES: Reasonable undergraduate mathematics background; the course is open to undergraduates.

97. Mathematical Logic, Books mathematical logic, books, links. Barnes Noble Subjects Index. John linguistics.HeinzDieter D. Ebbinghaus J. Flum W. Thomas mathematical logic http://www.saunalahti.fi/jawap/colour/books/logic.html

Mathematical Logic, books, links. John L. Casti Werner DePauli Godel: A Life of Logic Rudy Rucker Infinity and the Mind: The Science and Philosophy of the Infinite Hofstadter Douglas R. Godel Escher Bach: An Eternal Golden Braid Heinz-Dieter D. Ebbinghaus J. Flum W. Thomas Mathematical Logic The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming. (Publisher) Alonzo Church Introduction to Mathematical Logic One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subjectone which should be read by every researcher and student of logic. Dexter C. C. Kozen,D. C. Kozen

98. Willard Van Orman Quine, Mathematical Logic The Bactra Review Occasional and eclectic book reviews by Cosma Shalizi 9 MathematicalLogic. by Willard Van Orman Quine. Revised Edition, Harper Row, 1962 http://www.cscs.umich.edu/~crshalizi/reviews/mathematical-logic/

The Bactra Review: Occasional and eclectic book reviews by Cosma Shalizi Mathematical Logic by Willard Van Orman Quine Informal logic is an inescapable part of life as a human being with a plugged-in brain, and not a vegetable or a raving lunatic; even post-structuralists and critical theorists may be observed, off-duty , saying ``That can't be right, because...'' Formal logic is a notoriously dry subject, initiated in the West by the prince of pedants, Aristotle. Mathematical logic, which has emerged only in the last hundred and fifty years, is well known to be abstruse and terrifying, and has made the logician into a creature mathematicians view in much the same way others view mathematicians, i.e. a repository of incomprehensible knowledge. When, in 1995, the Bertrand Russell e-mail list attempted to list all those who had read all three volumes of Whitehead and Russell's Principia Mathematica, they came up with less than two dozen names; two of those people died while the list was being compiled. A few books on mathematical logic have done well, such as Martin Gardner's

99. Department Of Mathematics, Uppsala University Research in mathematical statistics, mathematical logic, several complex variables, topology, and financial mathematics. http://www.math.uu.se/index_eng.html

UU Department of Mathematics Contact Education Information Internal ... SWEDISH The Department of Mathematics carries out research and education in mathematics and mathematical statistics. We are situated at the mathematics and information technology campus. INFORMATION Address Vacant positions Symposia and conferences (swe) ... INTERNAL PAGES Information for the Department of Mathematics MATHEMATICAL STATISTICS GROUP Mathematics on the WWW Last modified: Thu Sep 21 16:34:19 CEST 2000 webmaster Uppsala universitet Matematiska institutionen

100. Colloquium On Mathematical Logic Colloquium on mathematical logic. Organization Lev Beklemishev (mail lev.beklemishev@phil.uu.nl)and Jaap van Oosten (mail jvoosten@math.uu.nl). http://www.math.uu.nl/people/jvoosten/seminar.html

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

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