Advent of Logic 2024: Specification and Deadline (Was: Advent of Logic 2024: Weekend 1)

Liste des GroupesRevenir à s logic 
Sujet : Advent of Logic 2024: Specification and Deadline (Was: Advent of Logic 2024: Weekend 1)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 20. Dec 2024, 02:42:36
Autres entêtes
Message-ID : <vk2i2c$1gvoe$1@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
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

Date Sujet#  Auteur
27 Feb 26 o  …

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal