OpenLogicProject/OpenLogic resource

Health v2 · maintenance only

Adoption not part of the score

1346 stars · 287 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

An open-source, modular, collaboratively authored LaTeX textbook on intermediate and advanced logic, aimed at philosophers, computer scientists, and mathematicians. Its configurable build system lets instructors remix sections, notation, and exercises to produce custom course texts.

Use cases

• build a custom logic textbook for a philosophy course
• find free teaching material on Gödel's incompleteness theorems
• learn first-order logic semantics and proof systems
• get LaTeX source for a set theory or model theory text
• adapt an open logic text for computer science students
• remix open educational resources on modal or intuitionistic logic

When to choose

• you need a rigorous, free, remixable logic textbook with LaTeX source
• you teach intermediate/advanced logic and want configurable notation and topic selection
• you want open educational resource material on computability, incompleteness, or proof systems

When to avoid

• you need an introductory 'what is an argument' logic course
• you want a polished commercial textbook with publisher support
• you need interactive exercises or auto-grading rather than a static PDF

Facets

learning-resource · maturity active

documentation markdown education mathematics tutorials cross-platform open-educational-resource latex logic textbook philosophy set-theory model-theory computability modal-logic

Member repositories

For agents

markdown · JSON · MCP: product_card(name="OpenLogicProject/OpenLogic")