Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The correctness of the JSM reasonings for uniform strategies

The correctness of the JSM reasonings for uniform strategies 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Documentation and Mathematical Linguistics Springer Journals

The correctness of the JSM reasonings for uniform strategies

Loading next page...
 
/lp/springer-journals/the-correctness-of-the-jsm-reasonings-for-uniform-strategies-EL5yTOCSOb
Publisher
Springer Journals
Copyright
Copyright © 2015 by Allerton Press, Inc.
Subject
Computer Science; Information Storage and Retrieval
ISSN
0005-1055
eISSN
1934-8371
DOI
10.3103/S0005105515030024
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Automatic Documentation and Mathematical LinguisticsSpringer Journals

Published: Aug 1, 2015

References