# Logic

> statements, predicates, proofs

Record: `reasoning:representation-logic`
Kind: representation
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-representation-logic

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) and before [Number](https://banes-lab.com/records/reasoning/representation-number.md).

## Concept

- [Logic](https://banes-lab.com/records/reasoning/math-domain-logic.md)

## Grounded by

- [IF](https://banes-lab.com/records/pag/keyword-control-flow-if.md)
- [ELSE](https://banes-lab.com/records/pag/keyword-control-flow-else.md)
- [MATCH](https://banes-lab.com/records/pag/keyword-control-flow-match.md)
- [CASE](https://banes-lab.com/records/pag/keyword-control-flow-case.md)
- [DEFAULT](https://banes-lab.com/records/pag/keyword-control-flow-default.md)
- [WHEN](https://banes-lab.com/records/pag/keyword-control-flow-when.md)
- [UNLESS](https://banes-lab.com/records/pag/keyword-control-flow-unless.md)
- [GUARD](https://banes-lab.com/records/pag/keyword-control-flow-guard.md)
- [RULE](https://banes-lab.com/records/pag/keyword-control-flow-rule.md)
- [IN](https://banes-lab.com/records/pag/keyword-control-flow-in.md)
- [MATCHES](https://banes-lab.com/records/pag/keyword-control-flow-matches.md)
- [if_statement](https://banes-lab.com/records/pag/production-if-statement.md)

## Linked from

- [control_flow](https://banes-lab.com/ontology/grammar/pag-keywords-control-flow.md)
- [statement](https://banes-lab.com/ontology/grammar/pag-productions-statement.md)