✦ LIBER ✦

Relational Interpretations of Recursive Types in an Operational Setting

✍ Scribed by Lars Birkedal; Robert Harper

Book ID: 112252463
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 485 KB
Volume: 155
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2828

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedding relations in the lattice of re

Embedding relations in the lattice of recursively enumerable sets

✍ Alton, Donald A. 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 256 KB

An interpretation of membership function

An interpretation of membership functions and the properties of general probabilistic operators as fuzzy set operators — Part I: Case of type 1 fuzzy sets

✍ Shigeaki Mabuchi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 914 KB

Functional Interpretations of Constructi

Functional Interpretations of Constructive Set Theory in All Finite Types

✍ Justus Diller 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 474 KB

385 Impact of Preliminary Radiology Inte

385 Impact of Preliminary Radiology Interpretations of Imaging Studies in an Emergency Department Setting

✍ D.A. Guss; F. Almazroua 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Existence of an inseparable pair in the

Existence of an inseparable pair in the recursive theory of admissible sets

✍ V. D. Rudnev 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 385 KB

An interpretation of membership function

An interpretation of membership functions and the properties of general probabilistic operators as fuzzy set operators. (II). Extension to three-valued and interval-valued fuzzy sets

✍ Shigeaki Mabuchi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 974 KB

Previously in Part 1 of the present paper and its supplement an approach was made to an interpretation of membership functions as probability and a proposal of the probabilistic operators with dependence relation of the sets. This paper is an extension to three-valued and interval-valued fuzzy sets.