Notez que certaines séances du Groupe de travail Dialogique seront consacrées à la production et publication de preuves metalogiques.
Premier sujet à traiter : soundness avec formulation de la "no delaying tactic rules" d'après les rangs, et sans la règle de split.
Des informations complémentaires seront données très prochainement.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire