Logics for approximate and strong entailments
✍ Scribed by Francesc Esteva; Lluís Godo; Ricardo O. Rodríguez; Thomas Vetterlein
- Book ID
- 113632737
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 227 KB
- Volume
- 197
- Category
- Article
- ISSN
- 0165-0114
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Ying proposed a propositional calculus in which the reasoning may be approximate by allowing the antecedent clause of a rule to match its premise only approximately. The aim of this note is to relate Ying's proposal to an extension principle for closure operators proposed by the authors. In this way
A sartorial query language facilitates the formulation of queries to a (string) database. One step towards an implementation of such a query language can be taken by deÿning a logical formalism expressing a known solution for the particular problem at hand. The simplicity of the logic is a desired p