The correctness of the JSM reasonings for uniform strategies

Autor: S. M. Gusakova
Rok vydání: 2015
Předmět:
Zdroj: Automatic Documentation and Mathematical Linguistics. 49:77-82
ISSN: 1934-8371
0005-1055
DOI: 10.3103/s0005105515030024
Popis: A definition of the correctness of JSM reasonings for different methods and strategies is considered. It is shown that the extension lattice of methods with the relation of order by embedding sets of hypotheses induces an isomorphic lattice of uniform strategies in which the relation of order is conditioned by following the total correctness for one strategy from another.
Databáze: OpenAIRE