Logic

(Up) | See also: Modal Logic, Equational Logic, Algebraic Logic, Proof Theory, Theorem Proving, FoM, Incompleteness, Logic Programming, Lambda Calculus

---

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)

The Herbrand Manifesto ★★★

Self-verifying theories - Wikipedia

Bernays--Schönfinkel class - Wikipedia

Deflationary theory of truth - Wikipedia

Are opinions considered sentences in logic? ★★★

Metamathematics of buts ★

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) ★★★ 💭