README.md @master — view markup · raw · history · blame
Logic
(Up) | See also: Modal Logic, Equational Logic, Algebraic Logic, Proof Theory, Lambda Calculus, FoM, Incompleteness
Web resources
Propositional Logic | Internet Encyclopedia of Philosophy
Natural Deduction | Internet Encyclopedia of Philosophy
Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)
Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)
Provability Logic (Stanford Encyclopedia of Philosophy)
Intensional Logic (Stanford Encyclopedia of Philosophy)
Self-verifying theories - Wikipedia
Bernays--Schönfinkel class - Wikipedia
Deflationary theory of truth - Wikipedia
Are opinions considered sentences in logic? - Philosophy Stack Exchange
lo.logic - Metamathematics of buts - MathOverflow
logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange
What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow
Papers
On the Unusual Effectiveness of Logic in Computer Science (online @ www.cs.rice.edu)
The Galois Connection between Syntax and Semantics (online @ www.logicmatters.net)
Syntax versus Semantics (online @ arxiv.org)
Towards Applied Theories based on Computability Logic (online @ arxiv.org)
Books
Introduction to Mathematical Proof (online @ monks.scranton.edu)
Logic (Hodges) (borrow @ archive.org)
Mathematical logic and formalized theories (borrow @ archive.org)
Mathematical Logic (Kleene) (borrow @ archive.org)
Mathematical Logic (Quine) (online @ archive.org)
Deductive Logic: a programed introduction (borrow @ archive.org)
The Blackwell Guide To Philosophical Logic (online @ archive.org)
Handbook of Logic in Computer Science, Volume 1 (borrow @ archive.org)
Handbook of Logic and Proof Techniques for Computer Science (borrow @ archive.org)
Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ archive.org)
Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ archive.org)
Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ archive.org)
Simply Logical (online @ book.simply-logical.space, github.com)