Algebraic Logic
(Up) | Wikipedia: Algebraic logic | See also: Logic
Web resources
The Algebra of Logic Tradition (Stanford Encyclopedia of Philosophy) ★
What are differences between first order structures and algebraic structures
CS 353: Algebraic Logic: Class Notes (Vaughn Pratt) ★
Papers
Origins of the Calculus of Binary Relations ★★ 💭
(in Lambda Calculus) The Lambda Calculus is Algebraic (online @ www.mscs.dal.ca) ★★★ 💭
Books
Logic as Algebra (borrow @ archive.org) ★★★ 💭
An Algebraic Introduction to Mathematical Logic (borrow @ archive.org) ★ 💭
A Formalization of Set Theory without Variables (borrow @ archive.org) 🏛️ 💭
History of
by-topic
/
Algebraic Logic
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Trim some resource titles. Chris Pressey 1 year, 4 months ago
- Put the Wikipedia link, when it exists, in the "see-also bar". Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Update the borrowability status of books listed on archive.org. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Fix commentary links. Chris Pressey 1 year, 6 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Add gloss of "A Constructive Semantics for Rewriting Logic". Chris Pressey 1 year, 6 months ago
- Add commentary on 3 papers. Chris Pressey 1 year, 9 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 9 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Add gloss for "Logic as Algebra". Chris Pressey 1 year, 11 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Add a Name Binding paper (actually assignments.) And some gloss. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago