𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A survey of fuzzifications of frames, the Papert–Papert–Isbell adjunction and sobriety

✍ Scribed by Wei Yao


Book ID
113632718
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
317 KB
Volume
190
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A BRIEF SURVEY OF FRAMES FOR THE LAMBEK
✍ Kosta Došen 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 500 KB

## Abstract Models for the Lambek calculus of syntactic categories surveyed here are based on frames that are in principle of the same type as Kripke frames for intuitionistic logic. These models are extracted from the literature on models for relevant logics, in particular the ternary relationed m