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
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

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

PreviousThe law of non-contradiction NextLogic systems: LINKS

Last updated 4 years ago

Was this helpful?

Was this helpful?