
Standard Logic (Popularity: )
(Score: 10.38)
http://www.stdlogic.com
Standard Logic specializes in the field of software and hardware verification.
Category: Science\Technology\Electronics\CAD


Logic Tutorial (Popularity: )
(Score: 10.37)
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


Syllogistic logic online (Popularity: )
(Score: 9.04)
http://aristotelianlogic.glashoff.net
This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ancient logic is also presented.
Category: Science\Math\Logic and Foundations\History


Logic Journal of the IGPL (Popularity: )
(Score: 8.99)
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
Category: Science\Math\Logic and Foundations\Publications


The Logic of More (Popularity: )
(Score: 8.99)
http://www.ternarylogic.com/
Analysis of a ripple adder in binary logic and alternative designs in ternary and multivalue logics.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions


Multiplevalued Logic: A Tutorial (Popularity: )
(Score: 8.84)
http://www.multivaluelogic.com
Tutorial on multivalued logic or MVL. It explains the differences between binary and multivalued logic and provides examples. Introduces the concept of multivalue inverters.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions


Fuzzy Logic Jump Start (Popularity: )
(Score: 8.55)
http://www.fuzzylogic.com/
Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on how to create a logic controller as home exercise.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions


Software and Tools for Electrical Education (Popularity: )
(Score: 7.91)
http://www.thelearningpit.com/
Supplier of softwarebased PLC and Ladder Logic Simulators, Animated Process Simulations, and course materials for electrical training and educational programs. Includes National Electrical Code training, as well.
Category: Science\Technology\Electrical Engineering\Education


Association for Informal Logic and Critical Thinking (AILACT) (Popularity: )
(Score: 7.36)
http://ailact.mcmaster.ca/
A nonprofit scholarly association which aims to promote research into, teaching of, and testing of informal logic and critical thinking.
Category: Science\Science in Society\Skeptical Inquiry\Critical Thinking


Critical Thinking Lab (Popularity: )
(Score: 7.13)
http://www.criticalthinkinglab.com
Computerassisted critical thinking and introductory logic course materials: texts and software.
Category: Science\Science in Society\Skeptical Inquiry\Critical Thinking


OrCAD (Popularity: )
(Score: 6.84)
http://www.orcad.com/
EDA software and services for component information management, designing fieldprogrammable gate arrays, programmable logic devices, analog or mixed analogdigital circuits and printed circuit boards.
Category: Science\Technology\Electronics\CAD


DC Proof Online (Popularity: )
(Score: 6.78)
http://www.dcproof.com
New proofwriting software to teach the fundamentals of logic and proof. Enables users/students to write errorfree proofs by selecting rules of inference, axioms, etc. from convenient dropdown menus. Includes tutorial ...
Category: Science\Math\Logic and Foundations\Software


Electronics Workbench (Popularity: )
(Score: 6.43)
http://www.electronicsworkbench.com/
Product portfolio consists of software for the design of electrical circuitry to be implemented on printed circuit boards (PCBs) and programmable logic devices (FPGAs/CPLDs) and includes: schematic capture, component database, ...
Category: Science\Technology\Electronics\Test


Stanford (Popularity: )
(Score: 6.12)
http://logic.stanford.edu/
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions


ASL (Popularity: )
(Score: 6.05)
http://www.aslonline.org/
Association for Symbolic Logic.
Category: Science\Math\Logic and Foundations\Organizations


University of Vienna (Popularity: )
(Score: 6.05)
http://www.logic.univie.ac.at/
Institute of Logic.
Category: Science\Math\Academic Departments\Europe


(Finland) Helsinki (Popularity: )
(Score: 6.05)
http://www.logic.math.helsinki.fi/
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions


(Austria) University of Vienna (Popularity: )
(Score: 5.92)
http://www.logic.univie.ac.at/
Department of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions


The Logic Daemon (Popularity: )
(Score: 5.92)
http://logic.tamu.edu/
Online proof checker, and texts.
Category: Science\Math\Logic and Foundations\Education


IFCoLog (Popularity: )
(Score: 5.86)
http://www.ifcolog.net/
A federation of societies and groups active in computational logic.
Category: Science\Math\Logic and Foundations\Organizations
