Category talk:Mathematics Workgroup (Top)
Jump to navigation
Jump to search
Logic
- Category. — JA
- Advisory. Will be working on factoring Logic out as a separate category that can be viewed in both Mathematical and Philosophical lights.
- Ampheck
- Boolean algebra
- Boolean domain
- Boolean function
- Boolean logic
- Boolean-valued function
- Conceptual graph
- Entitative graph
- Existential graph
- First order logic
- Higher order logic
- Laws of Form
- Logical graph
- Logical matrix
- Mathematical logic
- Minimal negation operator
- Model theory
- Peirce's law
- Proof theory
- Propositional calculus
- Truth table
- Zeroth order logic