𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Semantic Proof of the Eliminability of Descriptions

✍ Scribed by Elliott Mendelson

Publisher
John Wiley and Sons
Year
1960
Tongue
English
Weight
119 KB
Volume
6
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Grundlagen a. Math.

πŸ“œ SIMILAR VOLUMES

The Hauptsatz for Stratified Comprehensi
The Hauptsatz for Stratified Comprehension: A Semantic Proof
✍ Marcel CrabbΓ© πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 459 KB

## Abstract We prove the cut‐elimination theorem, Gentzen's Hauptsatz, for the system for stratified comprehension, i. e. Quine's NF minus extensionality. Mathematics Subject Classification: 03B15, 03F05.

The reusability of induced knowledge for
The reusability of induced knowledge for the automatic semantic markup of taxonomic descriptions
✍ Hong Cui; P. Bryan Heidorn πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 487 KB

## Abstract To automatically convert legacy data of taxonomic descriptions into extensible markup language (XML) format, the authors designed a machine‐learning‐based approach. In this project three corpora of taxonomic descriptions were selected to prove the hypothesis that domain knowledge and co

Semantic description in MPEG-7: The rich
Semantic description in MPEG-7: The rich recursion of ripeness
✍ Hawley K. Rising III; Corinne JΓΆrgensen πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 437 KB

## Abstract Metadata describing multimedia can address a wide variety of purposes, from the purely physical characteristics of an item, to the circumstances surrounding its production, to attributes that cannot necessarily be determined by examining the item itself directly. These latter attributes

Image semantics in the description and c
Image semantics in the description and categorization of journalistic photographs
✍ Mari Laine-Hernandez; Stina Westman πŸ“‚ Article πŸ“… 2007 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 127 KB

## Abstract This paper reports a study on the description and categorization of images. The aim of the study was to evaluate existing indexing frameworks in the context of reportage photographs and to find out how the use of this particular image genre influences the results. The effect of differen