système de déduction naturelle

Désignations

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

anglais

It represents proofs in a way that maintains a distinction between goals and antecedents, and it uses inference rules that mimic the reasoning of human theorem proving.