 Kumo  Joseph Goguen et al.; University of California at San Diego.
A Webbased proof assistant that assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction.
...more>>
 Laboratory for Applied Logic (LAL)  Brigham Young University, Provo, UT
A research unit of the Department of Computer Science specializing in applying mathematical methods to problems in computer dependability. The research conducted in the LAL is currently divided into three major areas: modeling abstract hardware components
...more>>
 Laboratory of Mathematical Logic  Steklov Institute of Mathematics, St. Petersburg, Russia
Staff, activities, seminars, Web pages devoted to Hilbert's Tenth Problem, Relevant links.
...more>>
 Lammas  Peter Fox
A simple game of logic using a number of differently coloured tiles arranged in a grid. The object is to convert the complete grid to tiles of a single colour. The rule for conversion is given by the four tiles at the top left corner as a template. A
...more>>
 The Language of Mathematics  Warren Esty; Montana State University
A book and corecourse at Montana State University. Site provides a description of the philosophy behind the book, the methods used in the book and course, research results from studies of both, and information on ordering the book. Also a bio of the
...more>>
 La pagina della classificazione matematica: MSC2000 librerie Hvolumi  Antonella De Robbio, Alberto Marini, Dario Maguolo
Italian version of Mathematics Subject Classification version 2000 (MSC2000); different points of views, with a comparison of MSC1991 and MSC2000. Includes a description of the project, links to relevant pages, and a preprint of "La versione Draft2000
...more>>
 Lateral Puzzles  Paul Sloane
Pose or solve lateral thinking puzzles, also known as situation puzzles, which depict a counterintuitive scenario to be explained by asking yesno questions or by proposing explanations. Read questionandanswer conversations of current and solved puzzles;
...more>>
 Laws of Form  Richard Shoup
Inspired by the book Laws of Form by George SpencerBrown, in which the author built a "calculus of distinctions." Read an interpretation of his laws of calling and crossing as a logical arithmetic; see a simple analysis of SpencerBrown's Counter; learn
...more>>
 Laws of Thought  Keith Devlin (Devlin's Angle)
"What Zeno of Citium actually did was found the Stoic school of logic. Though modern mathematical logic is popularly credited as having its beginnings in the syllogistic logic of Aristotle, most of the fundamental notions of contemporary propositional
...more>>
 The Learning Box: K5 Math Software
Developer of elementary mathematics software for students in grades K5. Featured titles include The Manipulative Math Series: Logic Blocks, Base Ten Blocks, and the Peg Board (learning about sets). Shockwave Flash activities include Flowering Fractions
...more>>
 Learning to Reason  Nancy Rodgers, Hanover College
"When we reason within a logical framework, words must be manipulated according to the rules of the game...." Learn about the terms "not," "and," "or," "implies," "is equivalent to," "for all," and "for some"; logical reasoning and expressing it in writing;
...more>>
 Lectures  John Conway, Princeton University
Listen to audio of Conway's lectures: Calendar Conundrums; Archimedes and His World; Cantor's Infinities; Goedel and Undecidability; Geometry, Logic and Physics; Escher and Symmetry; Finally, Fun. Requires Real Player.
...more>>
 The LEGO Proof Assistant  Randy Pollack; University of Edinburgh
A tool for interactive proof development in the natural deduction style. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified
...more>>
 Leibniz's 333yearold problem solved  Vladimir Sotirov
Arithmetizations of the traditional syllogistic. The first Leibniz trial to arithmetize the Aristotelian syllogistic explored divisibility of integers; it was unsuccessful. The second one used pairs of coprime numbers and was successful, as Slupecki
...more>>
 L'Equipe de Logique Mathématique
 Université DenisDiderot, Paris, France
In English and French. Mathematical Logic Team. People, seminars, preprints, links to other logic sites in France.
...more>>
 Lessons, Tutorials, and Lecture Notes (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive, alphabetical, annotated listing of sites providing course material for teachers and students of mathematics. Includes topics from almost every field of math, at every level: K12, college and beyond. Algebra; Analysis; Arithmetic; Calculus;
...more>>
 Lewis Carroll's Logic Game  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
Discussion of an invention of Lewis Carroll's that competes with Venn diagrams for solving logical problems. Topics include the bilateral and trilateral diagrams, syllogisms, two Java applets, sample soriteses, and Carroll's Game of Logic.
...more>>
 Liars and Truthtellers  Math Forum, a Classic Problem from the Ask Dr. Math FAQ
A princess visits an island inhabited by two tribes. Members of one tribe always tell the truth, and members of the other tribe always lie. What question should the princess ask the natives to find out the right road to take?
...more>>
 The Lighter Side of Dr. Paulsen  William Paulsen
A collection of online games and puzzles: blackjack, The NonZero Difference Game, No Alibi (a mystery detective game), a haunted mansion labyrinth, sliding tile puzzles, and The Prime Maze.
...more>>
 The Limits of Mathematics  Ivars Peterson (MathTrek)
In Godel's realm, no matter what the system of axioms or rules is, there will always be some assertion that can be neither proved nor invalidated within the system. Indeed, mathematics is full of conjectures assertions awaiting proof with no assurance
...more>>
 Linear logic in computer science  Institut de Mathématiques de Luminy (IML)
A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and
...more>>
 LiveSudoku  LiveSudoku.com
Play Sudoku free online at four different levels: beginners, medium, hard, and "wicked." The JavaScript game's options include pencil markings, highlighting, and solution checking. LiveSudoku.com also offers tutorials, tracks player performances on current
...more>>
 Locker Problem  Suzanne Alejandre
A classroom activity (also called 1000 Lockers) aligned to the NCTM and California Standards, to be explored through the use of manipulatives and a ClarisWorks spreadsheet. Students then look for patterns and write the answer algebraically. The problem:
...more>>
 Logical Art and the Art of Logic  Guenter AlbrechtBuehler
About pentominoes, the patterns they create, and what pentominoes have to do with Escher, Penrose, Logic, Impossible Objects, Mathematics, and Art. Download a DOS program, 'newpent.exe', that assembles (6x10) pentomino solutions manually or automatically
...more>>
 Logical Laws  Alex Sakharov
This page contains a collection of logical laws of the firstorder logic. The collection is based on Kleene's collection (from his books 'Introduction to Metamathematics' and 'Mathematical Logic') and contains a few additions. The laws holding in classical
...more>>
 Logic and Computation Group  University of Pennsylvania, Philadelphia, PA
An interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Mathematics, and Philosophy.
...more>>
 Logic and Foundations of Programming (LFP)  Queen Mary and Westfield College, University of London, U.K.
The LFP group has wide interests covering many aspects of mathematical, philosophical, and computational logic and virtually the whole of the theory of programming languages and the process of programming.
...more>>
 Logic and Philosophy of Logic (Philosophy Resources on the Internet)  EpistemeLinks.com
Encyclopedia articles and related Web sites.
...more>>
 Logic and Set Theory (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive list of links to sites with information about logic and set theory, classified by level and type of resource.
...more>>
 Logic Circuit Minimization Using Karnaugh Map Lookup Tables  John Eric Franklin
Four variable truth tables drawn in a four by four grid is called a
Karnaugh map to an electrical engineer. Karnaugh maps were developed in
the 1950's and help to produce sumofproduct equations (AND,OR). I have
added the XOR operator (exclusiveor)
...more>>
 Logic for Mathematics and Computer Science  Stanley Burris; University of Waterloo
Supplementary material to a logic textbook that provides an elementary handson presentation of important mathematical logic topics, new and old, that is readily accessible and relevant to all students of the mathematical sciences, not just those in traditional
...more>>
 Logic (Funk & Wagnalls Multimedia Encyclopedia)  Lycos Zone: Mathematics
Short articles on mathematical logic, covering axioms, deduction, fallacy, Kurt Gödel, and mathematical induction.
...more>>
 Logic Page  Christian Gottschall; Dept. of Philosophy, Vienna
Links to Web pages, logicians, texts, and programs in logic.
...more>>
 Logic Programming  J. P. Bowen; World Wide Web Virtual Library
Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information.
...more>>
 The Logic Puzzle Museum
Play with more than fifty different handson brain twisters, mechanical and logic puzzles  and craft your own. Regular events at this Burlington, Wisconsin, museum include Valentine's Day (makeyourown historic rebus valentines), celebrations of the
...more>>
 Logic Puzzles  Erich's Puzzle Palace; Erich Friedman
Five logic puzzles: "Tweedledum and Tweedledee look alike, but Tweedledum lies on Monday, Tuesday, and Wednesday, whereas Tweedledee lies on Thursday, Friday, and Saturday. They both tell the truth on Sunday. You come upon the two of them, and they make
...more>>
 Logic Reference Tables (S.M.A.R.T.)  Math Share Shop
Reference tables: symbols and how to read them: negation, conjunction, disjunction, conditional, biconditional. By students at Theodore Roosevelt H.S., Bronx, & Edward R. Murrow High School, Brooklyn.
...more>>
 Logic (SMILE)  M. Elaine Granger, Irvin C. Mollison
A lesson for grades 68 designed to use pattern puzzles to teach students to understand word problems by use of reasoning techniques; identify the validity or nonvalidity of the problems; discern which factors are needed for problem resolution; and use
...more>>
 Logic Software from CSLI  Jon Barwise and John Etchemendy; Center for the Study of Language and Information
Text/software packages described here  Hyperproof, The Language of Firstorder Logic, Tarski's World, and Turing's World  are all published by the Center for the Study of Language and Information and distributed by Cambridge University Press.
...more>>
 The Logics Workbench (LWB)  Gerhard Jaeger, Leader; University of Bern, Switzerland
The LWB allows work in classical and nonclassical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and
...more>>
 Logic  ThinkQuest 1996
About logic  knowing how to construct logical arguments and put them into proofs. Logic is the art of showing whether something is true or false. An explanation of basic concepts is followed by an opportunity to test your skills. From SMATT (Science,
...more>>
 Logicville
Anagram, chess, cryptarithm, cryptogram, doublet, logic, mathematical, magic word square, and tangram puzzles. Select a puzzle at random; solve the puzzle of the week. Interactive puzzles require Java.
...more>>
 The Logic Zone
A collection of logic problems with answers, logic puzzles, and cryptograms.
...more>>
 Longer Chains of Reason (Pattern Based Reason)  Alan Selby
About mathematical induction. Rules that say that when a first situation occurs, so should a second, are called implication rules. Implication rules can be linked together, one after another. A ladderbased story illustrates the underlying idea, called
...more>>
 Ludo Novo  Guillermo Andres
Manipulatives designed to educate and stimulate children from ages 26 through the early stages of cognitive development that form the basis of logical thought and problem solving capabilities.
...more>>
 Magic Cube Generator  Dwane H. Campbell, Keith A. Campbell
This site offers a generator for magic squares, cubes, and hypercubes, along with history, overview of basic concepts, and statistics, and downloads and references. The authors focus primarily on a set of 8 by 8 by 8 magic cubes that are often called
...more>>
 Magic Truth Table Maker  Eric Silverberg
A page that lets you enter logical data to generate a truth table. Simple,
straightforward and textbased, with examples of valid strings provided..
...more>>
 Mag's 3x3 Rubik's Cube Solution  Tom Magliery
A small collection of operations for the 3x3 Rubik's Cube, which assumes that you already know how to get one entire face solved; this means not only having all of one color on one side, but also having those 8 pieces in the proper position with respect
...more>>
 Mancala Web  Brian Casey, Imagiware, Inc.
An ancient, challenging game. Mancala is played with seven pits  six playing pits plus one score pit, the Kalaha, per player. At the beginning of the game, each of the (12) playing pits contains 3 seeds (or beads or stones or balls or whatever). To play,
...more>>
 Maple worksheets  Ben Pollina; Dept. of Mathematics, Univ. of Hartford, Hartford, CT
Maple worksheets for linear algebra and discrete math courses (introduction to Maple, linear systems, matrices, determinants, and logic).
...more>>
 
