𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Omitting uncountable types and extensions of Elementary logic

✍ Scribed by PER LINDSTRÖM

Book ID
114916272
Publisher
Wiley (Blackwell Publishing)
Year
2008
Tongue
English
Weight
199 KB
Volume
44
Category
Article
ISSN
1755-2567

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Omitting types in fuzzy logic with evalu
Omitting types in fuzzy logic with evaluated syntax
✍ Petra Murinová; Vilém Novák 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 169 KB

## Abstract This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system Ev~Ł~ of fuzzy logic that has evaluated syntax, i. e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable i

An Omitting Types Theorem for first orde
An Omitting Types Theorem for first order logic with infinitary relation symbols
✍ Tarek Sayed Ahmed; Basim Samir 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 122 KB

## Abstract In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)