Recherches sur la déduction logique

A V B A₁ analogue atténuation axiomatique axiomes calcul NJ conclusion condition des variables conséquent vide contient contraction déduction naturelle dérivation de degré dérivation sans fusion désignée éliminer équivalente éventuellement plusieurs inversions façon suivante figure AES figure de déduction figure OEA formule moyenne formule principale formules-hypothèses fusion de séquences Gentzen H-déduction H-séquence intuitive Jaśkowski l'antécédent LJ-dérivation logique classique logique des prédicats logique des propositions logique intuitionniste mule prémisse gauche rang de gauche remplace S-formules schéma de coupure schémas AES schémas d'axiomes schémas de déduction schémas de structure schémas opératoires section séquence finale séquence médiane séquences fondamentales séquences initiales signe terminal signes logiques suite supposition symétrique T₁ théorème fondamental tiers exclu tion traduction transformation utilisé valable valide variable propre variables individuelles libres vation