🗄️
math-debrief
Ctrlk
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
    • Logic: CHRONO TERMS
    • Logic: CLUSTERS
    • lo.GLOSSARY
    • Logic: Wiki links
    • 305-basic-concepts
    • README
    • 360-propositional-logic
    • 370-predicate-logic
    • 380-proof-theory
    • Logic: Indices
    • Logic
    • Rules of Inference
    • Logic
    • Logic
      • Logic systems: LINKS
      • Logic system
      • logic-systems
      • logic-typ
      • logics-by-purpose
      • _logics
      • Affine logic
      • Algebraic logic
      • Bunched logic
      • Classical logic
      • Traditional first-order logic
      • Hoare logic
      • Linear logic
      • Modal logic
      • Non-monotonic logic
      • Syntax
      • Predicate logic
      • Propositional Logic
      • Relevance logic
      • Separation logic
      • Substructural logics
      • Syllogistic logic
    • Logic: Sections: Elementary
    • Logic: Topics
  • 510 Lambda Calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
  • Number Theory
  • Theory of computation
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
Powered by GitBook
On this page

Was this helpful?

  1. Logic
  2. Logic

Logic systems: LINKS

Logic System Interrelationships https://web.archive.org/web/20060207000121/http://www.cc.utah.edu/~nahaj/logic/structures/index.html

Logic Systems https://web.archive.org/web/20060207000121/http://www.cc.utah.edu/~nahaj/logic/structures/index.html

https://web.archive.org/web/20060215083632/http://www.cc.utah.edu/~nahaj/logic/structures/systems/index.html

List of the types of logics https://web.archive.org/web/20060215083632/http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm

A Bibliography of Non-Standard Logics https://web.archive.org/web/20060225052821/http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm

PreviousLogicNextLogic system

Last updated 4 years ago

Was this helpful?