𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Relation of Equality in Deductive Systemsby A. A. Fraenkel

✍ Scribed by Review by: W. V. Quine

Book ID
124940261
Publisher
Association for Symbolic Logic
Year
1949
Tongue
English
Weight
248 KB
Volume
14
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Description of the Content-Equali
On the Description of the Content-Equality by a Relation
✍ Renate Jaritz 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 382 KB

## Abstract In the geometry of polyhedra we understand by an elementary content‐functional a real valued, non‐negative, finite additive measure on the set of polyhedra which is invariant under isometries. There are close relations between the content‐measurement and the relation of equidecomposabil

A Labelled Deductive System for Relation
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.