Logic

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

Works regarding the subject of logic, that is, the study of systems that allow deductions to be made, from some given positions, to obtain some further positions; a chain of such deductions being known as a proof.

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