Documents tagged Documentation
Filter by Tag: Documentation Montague The Logic Book forall x
Publicly Shared
- Title
- carnap-pandoc.pandoc
- Description
- This document describes the markup language (an extension of John MacFarlane's pandoc markup) used in the creation of custom interactive assignments and problem sets.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:44 UTC
- Tags
- Documentation
- Title
- carnap-montague.pandoc
- Description
- This document describes the Montague-style system of deduction used in the Carnap book.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation Montague
- Title
- carnap-forallx.pandoc
- Description
- This document describes proof systems for Carnap based on P.D. Magnus' "Forall x" textbook, and the Calgary remix of that text.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation forall x
- Title
- carnap-dashboard.pandoc
- Description
- This document provides a tutorial introduction to Carnap's course-management dashboard. It includes instructions on how to access the dashboard, how to create courses, and how to manage and automatically grade assignments.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation