Dedução Natural para a Lógica de Primeira Ordem Clássica
- Regras para os quantificadores e para a igualdade:
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista
- Efeitos das regras clássicas da negação sobre os quantificadores
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista