𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elements of model theory in higher-order fuzzy logic

✍ Scribed by Vilém Novák

Book ID
116496117
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
265 KB
Volume
205
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematical model for morphological ele
Mathematical model for morphological element of higher-order ferrite
✍ Ziqiang Zhou 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 292 KB

The mathematical model describing morphological elements of higher-order ferrite and the spatial reasoning are studied by the method and theorem of topology and algebra. It is shown that the higher-order ferrite is different from second-order ferrite in nucleation rate and growth rate and in the rel

Formalizing mathematics in higher-order
Formalizing mathematics in higher-order logic: A case study in geometric modelling
✍ François Puitg; Jean-François Dufourd 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 421 KB

An innovative attempt to develop formal techniques of speciÿcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f