ProvabilityLogic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Modal Logic - Provability and Interpretability Logics. Wikipedia article. ...
en.wikipedia.org
ProvabilityLogic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Modal Logic - Provability and Interpretability Logics. Open Encyclopedia article. ...
open-site.org
Logic
Society - Religion and Spirituality - Christianity - Denominations - Catholicism - Reference - Catholic Encyclopedia - L. A historical survey from Indian and Pre-Aristotelian philosophy to the Logic o ...
www.newadvent.org
Logic and Fallacies
Society - Philosophy - Philosophy of Logic - Informal Logic. Atheism Web's guide to logic and fallacies in practical reasoning. ...
www.infidels.org
The Logic Classroom
Science - Math - Logic and Foundations - Education. A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students. ...
www.sjsu.edu
The Logic Course
Society - Philosophy - Philosophy of Logic. An interactive course in formal logic, with tutorials and quizzes on critical thinking, truth-tables, and sentential. ...
www.thelogiccourse.com
Logic Tutorial
Science - Math - Logic and Foundations - Education. An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. ...
logictutorial.com
Digital Logic
Science - Technology - Electronics - Tutorials. Tutorials Fundamentals of Digital Logic ...
www.williamson-labs.com
Infinitary Logic
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell. ...
plato.stanford.edu
Classical Logic
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. ...
plato.stanford.edu
Logic and games
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of game-theoretical approaches to logic; by Wilfrid Hodges. ...
plato.stanford.edu
Interpretability Logic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Modal Logic - Provability and Interpretability Logics. Wikipedia article. ...
en.wikipedia.org
Interpretability Logic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Modal Logic - Provability and Interpretability Logics. Open Encyclopedia article. ...
open-site.org
PcMus Logic Audio Resources.
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. For users of Emagics Logic Audio software, contains tutorials and helpful links. ...
www.pcmus.com
Conferences: Logic-Related
Computers - Programming - Languages - Logic-based. This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half... logic-related conferences. The second half is a list of logic-related conferences and associations ...
Constraint Logic Programming: CLP
Computers - Programming - Languages - Logic-based - Constraint Logic. Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
www.ofai.at
University of Alberta Logic Course
Science - Math - Logic and Foundations - Education. Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. ...
ugweb.cs.ualberta.ca
Theory and Practice of Logic Programming
Computers - Computer Science - Publications - Journals. Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reaso ...
journals.cambridge.org
Logic Pro Help
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. A discussion forum offering tips, news, and ideas sections. ...
logicprohelp.com
The Logic Notation Guide
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. Description, samples, and ordering information about this book by Johannes Prischl. ...
prischl.net
Love and Logic Forum
Reference - Education - K through 12 - Educators - Discipline. Discussion of Love and Logic for parents and teachers. ...
www.loveandlogicforum.com
Mally's Deontic Logic
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Discussion of Ernst Mally's logic of obligation; by Gert-Jan Lokhorst. ...
plato.stanford.edu
Phil Wadler's Linear Logic Publications
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. Includes his tutorial paper "A taste of linear logic". ...
cm.bell-labs.com
Pneu-Logic Co.
Computers - Software - Manufacturing - Automation. Designers of passive, adaptive, intelligent logic capable of learning a process to allow better overall control without any expertise. ...
top
