Logique à conclusions multiples - Multiple-conclusion logic

Une logique multiple conclusion est celui dans lequel conséquence logique est une relation , entre deux ensembles de phrases (ou propositions ). est généralement interprété comme signifiant que chaque fois que chaque élément de est vrai, un élément de est vrai; et chaque fois que chaque élément de est faux, un élément de est faux. ${\ displaystyle \ vdash}$${\ displaystyle \ Gamma \ vdash \ Delta}$${\ displaystyle \ Gamma}$${\ displaystyle \ Delta}$${\ displaystyle \ Delta}$${\ displaystyle \ Gamma}$

Cette forme de logique a été développée dans les années 1970 par DJ Shoesmith et Timothy Smiley mais n'a pas été largement adoptée.

Certains logiciens préfèrent une relation de conséquences à conclusions multiples à la relation à conclusion unique plus traditionnelle au motif que cette dernière est asymétrique (au sens informel et non mathématique) et favorise la vérité sur la fausseté (ou l'assertion sur le déni).

Voir également

• Calcul séquentiel

Les références

Cet article lié à la logique est un bout . Vous pouvez aider Wikipedia en le développant . v t e