Considérations Algébriques Sur la Théori
✍
Nicolas Both
📂
Article
📅
1974
🏛
John Wiley and Sons
🌐
English
⚖ 499 KB
👁 1 views
CONSIDERATIONS ALGEBRIQUES SUR LA THEORIE DE LA DEMONSTRATION par NICOLAS BOTH B Cluj (Roumanie) Introduetiori Les operations de deduction dans la logique classique constituent un operateur de fermeture (voir, par exemple, ASSER [l] $5 6, 11 et RASIOWA, SIKORSKI [4] chap. V § 10). En definissant un