References
The Carnap Manual
Preface
Getting Started
1
Quick Start Guide
2
Frequently Asked Questions
3
Carnap’s Course Management Dashboard
4
Carnap’s Pandoc MarkDown
5
Community resources for Carnap
Exercises
6
Derivations
7
Truth Tables
8
Translations
9
Countermodels
10
Gentzen-Prawitz Natural Deduction
11
Sequent Calculus Deductions
12
Qualitative Problems
13
Truth Trees (Semantic Tableaux)
14
Syntax Check Exercises
Supported Systems
15
Chains of equivalences
16
Natural deduction in the
forall x: Mississippi State
systems
17
Natural Deduction in the
forall x: Pittsburgh
systems
18
Natural deduction in the
forall x: Calgary
systems
19
Natural deduction in the original
forall x
systems
20
Natural Deduction in Logic Book Systems
21
Natural Deduction in the Carnap Book
22
Set Theory Demo
Advanced Usage
23
Carnap deployment and administration
24
LTI 1.3
25
LTI Information for Carnap Developers
26
JavaScript Extensions for Carnap
27
Installing Carnap
28
Carnap API
29
Configuring Carnap
References
References
29
Configuring Carnap