𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Logics with approximate premises
✍ Loredana Biacino; Giangiacomo Gerla 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

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

Approximate pattern matching and transit
✍ Kjell Lemström; Lauri Hella 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 270 KB

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