Disjunction
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Theory and history of the binary connective 'or'; by Ray Jennings. ...
plato.stanford.edu
Logical Form
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Introduction to logical form, surface and deep meaning. By Paul M. Pietroski, University of Maryland. ...
plato.stanford.edu
Bibliography on Logical Frameworks
Computers - Computer Science - Publications - Bibliographies. 450 references related to logical frameworks, which are formal meta-languages for deductive systems. ...
www.cs.cmu.edu
Logical Fallacies and the Art of Debate
Society - Philosophy - Philosophy of Logic - Informal Logic. A guide to using logical fallacies in debate. ...
www.csun.edu
So You Want to Avoid Common Logical Errors?
Science - Science in Society - Skeptical Inquiry - Critical Thinking. Gives logical errors a name and points out the most common logical errors and how to avoid them. ...
www.soyouwanna.com
Disjunction
Science - Math - Logic and Foundations - Education. Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings. ...
plato.stanford.edu
Logical Fallacies
Society - Philosophy - Philosophy of Logic - Informal Logic. Explanations and examples of common logical mistakes. ...
www.logicalfallacies.info
Logical Form
Society - Philosophy - Philosophy of Language - Analysis. Introduction to logical form, surface and deep meaning. From the Stanford Encyclopedia, by Paul M. Pietroski. ...
plato.stanford.edu
Logical Laws
Science - Math - Logic and Foundations - Education. This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions. ...
sakharov.net
Business Logical
Computers - Software - Databases - FileMaker Pro - Consultants and Developers. FileMaker Pro custom database development, consultancy and training. ...
www.businesslogical.co.uk
Logical Micro
Regional - Europe - United Kingdom - England - West Yorkshire - Bradford - Business and Economy - Computers and Internet. Bespoke business networks, internet services and custom software, including co ...
www.logicalmicro.com
Logical Constructions
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Bernard Linsky, University of Alberta. ...
plato.stanford.edu
Links to Logical Constructed Languages
Science - Social Sciences - Linguistics - Languages - Constructed - Logical. List and links prepared by Alkaline creator of Minyeva logical language. Brief useful explanations of and links to other logical constructed languages like Loglan, Lojban, Voksigid, gua!spi, Ceqli, Liva, AllNoun, Danovėn, Arovėn ...
minyeva.alkaline.org
The Practice of Logical Frameworks
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks. Comprehensive survey article by Frank Pfenning (1996) discussing the history of work on logical frameworks and their current open problems. ...
citeseerx.ist.psu.edu
Lojban - A Logical Language
Science - Social Sciences - Linguistics - Languages - Constructed - Logical - Lojban. A short introductory article about Lojban written by Robin Turner. ...
neptune.spaceports.com
PhilosophyPages: Logical Positivism
Society - Philosophy - History of Philosophy - 20th Century - Logical Positivism. Concise survey of this school and the related doctrine of ...
www.philosophypages.com
Logical Form in Linguistics
Science - Social Sciences - Linguistics - Morphology and Syntax. Explains the importance of the logical form; specifically, in relation to the syntactically correct form according to Chomsky's theories of Universal Grammar. ...
kleene.ss.uci.edu
MetaPRL logical programming environment
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks. The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and logics are developed as modules that define computational, heuristic, and mathematical properties ...
cvs.metaprl.org
Logical Solutions Inc
Computers - Software - Industry-Specific - Real Estate - Forms and Closings. Provide escrow software solutions for Windows. Includes product specifications and features overview, and technical support ...
www.logicalsolutionsinc.com
Eco Logical Africa Safaris
Regional - Africa - Zimbabwe - Localities - Matabeland North - Bulawayo - Travel and Tourism - Travel Services - Tour Operators. Safari guides for Botswana, Mozambique, Namibia, South Africa, Zambia, ...
www.ecologicalafrica.com
Logical Tuition Ltd
Regional - Europe - United Kingdom - England - London - Hillingdon - Education. Individual GCSE and A-Level Maths tuition in the Northwood and surrounding areas. Includes tutor information and comment ...
www.logicaltuition.co.uk
Logical
Regional - North America - United States - California - Localities - L - Los Angeles - Business and Economy - Advertising and Marketing - Graphic Design. Provides logo, website, Flash, and packaging d ...
www.logicalmedia.tv
Logic Programming in the LF Logical Framework (1991)
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks - LF Logical Framework. Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF. ...
citeseerx.ist.psu.edu
top
