Advent of Logic 2024: Friendly Reminder (Re: Advent of Logic 2024: Specification and Deadline)

Hi,
Friendly Reminder that the Deadline 24. December 2024
is approaching. Please be aware that Weekend 3 asks for
Natural Deduction, where (E⊃) and Modus Ponens are synonymous:
/* Scope of Weekend 3 */
   C, X  ⊢  Y
-------------- (I⊃)
   C ⊢ X ⊃ Y
   C ⊢ X    C ⊢ X ⊃ Y
--------------------- (E⊃) /* Also known as Modus Ponens */
        C ⊢ Y
Simply Types and its Curry Howard is primarily defined
for Natural Deduction. Extracting Lambda Experessions
from Non-Natural Deduction is a little bit more complicated.
So Weekend 3 is NOT for Sequent Calculus:
/* Not Scope of Weekend 3 */
   C, X  ⊢  Y
-------------- (R⊃)
   C ⊢ X ⊃ Y
   C ⊢ X    C, Y ⊢ Z
--------------------- (L⊃)
     C, X ⊃ Y ⊢ Z
Bye
Mild Shock schrieb:

Specification:
  Weekend 2:
-----------
- Input = Atom            % Propositional variable
         | Input -> Input  % Implication
 - Output = B               % B Axiom Schema
          | C               % C Axiom Schema
          | I               % I Axiom Schema
          | (Output Output) % Modus Ponens
 Weekend 3:
-----------
- Input = Atom            % Propositional variable
         | Input -> Input  % Implication
 - Output = Variable         % Repetition
          | λVariable.Output % Assumption & Detachment
          | (Output Output)  % Modus Ponens
  Deadline:
 24. December 2024