Logic
Prerequisite
Notation
? No check.
Resources
Canonical
| Name | Author | Tags |
|---|---|---|
| A concise introduction to logic | Patrick J. Hurley | |
| https://www.logicmatters.net/tyl/ |
Goal
Story
Informal logic
Formal logic, Formal system
Inductive logic
Mathematical Logic
Truth or beauty?
Definitions
Notes
https://ahelwer.ca/post/2020-04-05-lean-assignment/
https://math.stackexchange.com/questions/50607/definition-of-definition
https://link.springer.com/article/10.1007/s13194-018-0203-y
https://en.wikipedia.org/w/index.php?title=Definition§ion=10#In_logic_and_mathematics
A Handbook of mathematical discourse, by Charles Wells. See concept, definition, and prototype.
https://abstractmath.org/MM/MMDefs.htm
https://journals.openedition.org/philosophiascientiae/1827?lang=en
Mechanization of Logical Inference and Proof Discovery
First-Order Logic
Complete Logical Calculi
Elements of Model Theory
Universe of Discourse
Incompleteness and Undecidability
On the Theory of Self-Reference
Probability
https://plato.stanford.edu/entries/logic-probability/
Chapter notes
Principia Mathematica,
Fuzzy logic
Puzzles
"LSAT Logical Reasoning Cheat Sheet." LawSchooli, 21 Feb. 2019, lawschooli.com/lsat-logical-reasoning-cheat-sheet.
Foundations of Logic Programming
Foundations of Logic Programming
Prolog
Artificial Intelligence
https://plato.stanford.edu/entries/logic-ai/
Proof assistant
https://leanprover-community.github.io/learn.html
https://www.youtube.com/watch?v=Dp-mQ3HxgDE&ab_channel=MicrosoftResearchhttps://leanprover.github.io/
https://www.edayers.com/ayers_thesis_final.pdf
Deontic Logic in Computer Science 11th International Conference, DEON 2012 Bergen, Norway, July 16-18, 2012 Proceedings Jan Broersen.
Proofs from the book by Martin Aigner, Gunter M. Ziegler.