Abstract

Celem pracy jest analiza formalna pewnych ogólnych własności charakteryzujących wnioskowania. Autorzy twierdzą, że posiadanie tych własności jest warunkiem koniecznym, aby wnioskowanie było logicznie wartościowe. Wprowadzają aksjomatycznie pojęcie "uogólnionej operacji inferencji", które formalnie ujmuje wnioskowanie mające owe cechy. Następnie reprezentują uogólnioną operację inferencji przy użyciu relacji binarnych określonych na podzbiorach języka. Podają również taką reprezentację dla logicznej operacji konsekwencji (każda logiczna operacja konsekwencji jest uogólnioną operacją inferencji).