525
edits
Changes
m
no edit summary
* Qual o ''significado lógico'' e o ''uso matemático'' da regra estrutural (𝕋)?
* Como demonstrar que uma certa regra (ou um certo sequente) ''não é derivável'' na lógica clássica?
* Como demonstrar que uma certa regra (ou um certo sequente) classicamente derivável não é derivável ''na lógica intuicionista''?* Se R é uma regra admissível em Nat, o que ocorre se você adicionar esta regra ao estoque de regras primitivas de Nat? E por quê regras deriváveis são sempre admissíveis?
== Veja também ==