All sites of Mathematics

Logic and Games Logic and Games
Logic and Games- Survey of game-theoretical approaches to logic; by Wilfrid Hodges. ...
Is Game Semantics Necessary? Is Game Semantics Necessary?
Is Game Semantics Necessary?- Paper by Andreas Blass. ...
Game Semantics Game Semantics
Game Semantics- Wikipedia article. ...
Game_Semantics Game_Semantics
Game_Semantics- Open Encyclopedia article. ...
The Full Wiki: Game Theory The Full Wiki: Game Theory
The Full Wiki: Game Theory- Encyclopedia article. ...
Mediaeval Logic and Philosophy Mediaeval Logic and Philosophy
Mediaeval Logic and Philosophy- Resource maintained by Paul Vincent Spade at Indiana University. ...
Medieval Theories of Analogy Medieval Theories of Analogy
Medieval Theories of Analogy- Entry in the Stanford Encyclopaedia of Philosophy, by E. Jennifer Ashworth. ...
Medieval Theories of Modality Medieval Theories of Modality
Medieval Theories of Modality- Article at the Stanford Encyclopaedia of Philosophy. ...
Scholastic Logic Scholastic Logic
Scholastic Logic- Chapter Two of Joseph Perrier's "The Revival of Scholastic Philosophy in the Nineteenth Century" (1909). ...
Scholasticism Scholasticism
Scholasticism- Online text by Joseph Rickaby (1908). ...
Square of Opposition Square of Opposition
Square of Opposition- Article in the Stanford Encyclopaedia of Philosophy, by Terence Parsons. ...
Logic Logic
Logic- Entry in the Catholic Encyclopaedia (1917), dominated by a historical survey from Indian and Pre-Aristotelian philosophy to the Logic of John Stuart Mill. ...
Aristotle's Logic Aristotle's Logic
Aristotle's Logic- Introductory article by Garth Kemerling. ...
Peter of Spain (Petrus Hispanus) Peter of Spain (Petrus Hispanus)
Peter of Spain (Petrus Hispanus)- Life and work of 13th century logician and author of the Tractatus; from the Stanford Encyclopedia by Joke Spruyt. ...
On Dialectic On Dialectic
On Dialectic- By St. Augustine. Latin original together with translation by J. Marchand. ...
Texas Action Group Texas Action Group
Texas Action Group- TAG is group of researchers interested in the study of formal and automated reasoning about the effects of actions using action languages, logic programming under the answer set semantics, and related ...
Conference celebrating Philip Welch's 60th Birthday Conference celebrating Philip Welch's 60th Birthday
Conference celebrating Philip Welch's 60th Birthday- University of Bristol, UK; 22-23 March 2014. ...
Introduction to Model Theory Introduction to Model Theory
Introduction to Model Theory- Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation. ...
Model Theory. Skolem's Paradox. Ramsey's Theorem. Model Theory. Skolem's Paradox. Ramsey's Theorem.
Model Theory. Skolem's Paradox. Ramsey's Theorem.- Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'. ...
Model Theory of Fields: Suggested Reading Model Theory of Fields: Suggested Reading
Model Theory of Fields: Suggested Reading- Short list of online resources compiled by David Marker. ...
Finite Model Theory Homepage Finite Model Theory Homepage
Finite Model Theory Homepage- People, problems, bibliographies, events. ...
Computability Logic Computability Logic
Computability Logic- Wikipedia (free encyclopedia) article. ...
Non Standard Logics Non Standard Logics
Non Standard Logics- A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber. ...
Infinitary Logic Infinitary Logic
Infinitary Logic- Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. ...
Logic System Interrelationships Logic System Interrelationships
Logic System Interrelationships- Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck. ...
Jon Cohen's That Logic Blog Jon Cohen's That Logic Blog
Jon Cohen's That Logic Blog- Logic in general, proof theory, philosophy. ...
Richard Zach's Logic and Philosophy Blog Richard Zach's Logic and Philosophy Blog
Richard Zach's Logic and Philosophy Blog- Logic. Philosophy. Other Fun Stuff. ...
KR, Inc. KR, Inc.
KR, Inc.- Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organ ...
IGPL IGPL
IGPL- Interest Group in Pure and Applied Logics: part of FoLLI. ...
ASL ASL
ASL- Association for Symbolic Logic. ...
British Logic Colloquium British Logic Colloquium
British Logic Colloquium- Meetings, publications, reports and resources. ...
COMPULOG Americas COMPULOG Americas
COMPULOG Americas- American Logic Programming Organization. ...
Computability in Europe Homepage Computability in Europe Homepage
Computability in Europe Homepage- Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues ...
MVL-TC MVL-TC
MVL-TC- IEEE Technical Committee on Multiple Valued Logic. ...
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG) Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)- Supports research in Mathematical Logic and the Foundations of the exact sciences in Germany; organizes a bi-annual conf ...
EACSL EACSL
EACSL- European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. ...
Buechler, Steven Buechler, Steven
Buechler, Steven- University of Notre Dame - Model theory. ...
Ong, C.-H. Luke Ong, C.-H. Luke
Ong, C.-H. Luke- Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. ...
Makowsky, Johann (Janos) A. Makowsky, Johann (Janos) A.
Makowsky, Johann (Janos) A.- Technion, Israel - Logic in computer science, finite model theory. ...
Pitts, Andrew Pitts, Andrew
Pitts, Andrew- University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. ...
Japaridze, Giorgi Japaridze, Giorgi
Japaridze, Giorgi- Villanova University - computability logic, game semantics, provability logic. ...
Leivant, Daniel Leivant, Daniel
Leivant, Daniel- Indiana University - Computational complexity. ...
Matiyasevich, Yuri Matiyasevich, Yuri
Matiyasevich, Yuri- Steklov Institute, St. Petersburg - Algorithmical number theory. ...
Pollett, Chris Pollett, Chris
Pollett, Chris- San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation. ...
Vereshchagin, Nikolai Vereshchagin, Nikolai
Vereshchagin, Nikolai- Moscow State University - Theory of computation, Intuitionistic logic ...
Levesque, Hector Levesque, Hector
Levesque, Hector- University of Toronto - Knowledge representation. ...
Nelson, Edward Nelson, Edward
Nelson, Edward- Princeton University - Bounded arithmetic, automated proof verification (QED). ...
Blass, Andreas R. Blass, Andreas R.
Blass, Andreas R.- University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. ...
Van Benthem, Johan Van Benthem, Johan
Van Benthem, Johan- University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic. ...
Parikh, Rohit Parikh, Rohit
Parikh, Rohit- Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language. ...

Latest sites from Mathematics