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) ★★ 💭
Survey of Computability Logic ★
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? ★★★
What framework or tool solves the Barber Paradox? ★
What assumptions and methodology do metaproofs of logic theorems use and employ? ★
(in Coq) Logic in Coq (CS3110) ★
(in FoM) getting rid of existential quantifiers ★
(in Mathematics) Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare ★★
(in Type Theory) Type Theory and Mathematical Logic \| artagnon.com ★
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)
(in Category Theory) Physics, Topology, Logic and Computation: A Rosetta Stone (online @ arxiv.org)
(in Probability Theory) Maxwell\'s daemon, the Turing machine, and Jaynes\' robot ★★
(in Term Rewriting) A Constructive Semantics for Rewriting Logic ★★ 💭
(in Theorem Proving) Hyperproof: Logical Reasoning with Diagrams (online @ aaai.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) (borrow with print disabilities @ archive.org)
Handbook of Logic in Computer Science, Volume 1 (borrow @ archive.org) 💭
Handbook of Logic and Proof Techniques for Computer Science (borrow with print disabilities @ archive.org) ★
Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow with print disabilities @ archive.org) ★ 💭
Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow with print disabilities @ archive.org) ★
Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow with print disabilities @ archive.org) ★
Simply Logical (online @ book.simply-logical.space, github.com) ★ 💭
(in Mathematics) Compactness and Contradiction (online @ terrytao.wordpress.com)
(in Order Theory) Lattices to Logic (borrow @ archive.org) 💭
(in Philosophy) The Cognitive Connection: Thought and Language in Man and Machine (borrow @ archive.org) ★★★ 💭
(in Theory of Computation) Theory of Deductive Systems and its Applications (borrow @ archive.org) ★★★ 💭