|
Sponsored Links:
Logic Tutorial (Popularity:  )
(Score: 14.13)
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
Category: Science\Math\Logic and Foundations\Education
|
|
Infinitary Logic (Popularity: )
(Score: 13.44)
http://plato.stanford.edu/entries/logic-infinitary/
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.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
|
University of Alberta Logic Course (Popularity: )
(Score: 12.56)
http://ugweb.cs.ualberta.ca/~c272/
Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
Category: Science\Math\Logic and Foundations\Education
|
|
Notre Dame Journal of Formal Logic (Popularity: )
(Score: 12.52)
http://www.nd.edu/~ndjfl/index.html
A quarterly journal devoted to recent research in broadly mathematical and philosophical approaches to logic.
Category: Science\Math\Journals
|
|
Computability Logic Homepage (Popularity: )
(Score: 12.44)
http://www.cis.upenn.edu/~giorgi/cl.html
Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Category: Science\Math\Logic and Foundations
|
|
(Austria) University of Vienna (Popularity: )
(Score: 11.43)
http://www.logic.univie.ac.at/
Department of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions
|
|
Formal Logic (Popularity: )
(Score: 11.19)
http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi
Directory of encyclopedia articles and related websites. [epistemelinks.com]
Category: Science\Math\Logic and Foundations\Directories
|
|
(Austria) Vienna University of Technology (Popularity: )
(Score: 11.19)
http://www.logic.at/
Group in Applications of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions
|
|
Notre Dame Journal of Formal Logic (Popularity: )
(Score: 11.08)
http://www.nd.edu/~ndjfl/
Publisher's site, access restricted.
Category: Science\Math\Logic and Foundations\Publications
|
|
|
Hähnle, Reiner (Popularity: )
(Score: 10.42)
http://www.cs.chalmers.se/~reiner/
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
Category: Science\Math\Logic and Foundations\People
|
|
Texas Action Group (Popularity: )
(Score: 9.29)
http://www.cs.utexas.edu/users/vl/tag/
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 ...
Category: Science\Math\Logic and Foundations\Knowledge Representation and Planning
|
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 9.15)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category: Science\Math\Logic and Foundations\Game Semantics
|
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 9.15)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
|
Formal Methods Europe (FME) (Popularity: )
(Score: 9.15)
http://www.fmeurope.org
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Category: Science\Computer Science\Formal Methods
|
|
Formal Methods Educational Materials (Popularity: )
(Score: 9.08)
http://www.cs.indiana.edu/formal-methods-education/
A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
Category: Science\Math\Logic and Foundations\Education
|
|
Abstract State Machines: A Formal Method for Specification and Verification (Popularity: )
(Score: 9.08)
http://www.eecs.umich.edu/gasm
Project attempting to bridge the gap between formal models of computation and practical specification methods.
Category: Science\Computer Science\Formal Methods
|
|
|
Aristotelian and Modern Logic (Popularity: )
(Score: 9.04)
http://www.ifs.csic.es/sorites/Issue_04/item5.htm
Article by Katalin Havas, discussing the nature of progress in logic, and the idea of logic as a perfected discipline.
Category: Science\Math\Logic and Foundations\History
|
|
|
The Logic Classroom (Popularity: )
(Score: 9.01)
http://www.sjsu.edu/faculty/carranza
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.
Category: Science\Math\Logic and Foundations\Education
|
|
Langley Formal Methods (Popularity: )
(Score: 9.00)
http://shemesh.larc.nasa.gov/fm/
Working to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States.
Category: Science\Computer Science\Formal Methods
|
|
ASL Typesetting Office (Popularity: )
(Score: 8.98)
http://www.math.ucla.edu/~asl/
TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes ...
Category: Science\Math\Publications\Style Files
|
