𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A proof-theoretic approach to entailment

✍ Scribed by N. Tennant

Publisher
Springer Netherlands
Year
1980
Tongue
English
Weight
818 KB
Volume
9
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Tree enterprises and bankruptcy ventures
Tree enterprises and bankruptcy ventures A game theoretic similarity due to a graph theoretic proof
✍ Theo S.H. Driessen πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 984 KB

In a tree enterprise, users reside at the nodes of the tree and their aim is to connect themselves, directly or indirectly, to the root of the tree. The construction costs of arcs of the tree are given by means of the arc-cost-function associated with the tree. Further the bankruptcy venture is desc

A measure theoretic approach to informat
A measure theoretic approach to information retrieval
✍ SΓ‘ndor Dominich; TamΓ‘s Kiezer πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 358 KB πŸ‘ 3 views

## Abstract The vector space model of information retrieval is one of the classical and widely applied retrieval models. Paradoxically, it has been characterized by a discrepancy between its formal framework and implementable form. The underlying concepts of the vector space model are mathematical

A coding theoretic approach to extending
A coding theoretic approach to extending designs
✍ George T. Kennedy; Vera Pless πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 1003 KB

We introduce the study of designs in a coset of a binary code which can be held by vectors of a fixed weight. If C is a binary [2n, n, d] code with n odd and the words of weights n -1 and n + 1 hold complementary t-designs, then we show that the vectors of weight n in a coset of weight 1 also hold a