𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical model of the process of construction of an isoline map by an interpreter

✍ Scribed by N. A. Klemberg; D. P. Senuk; M. I. Shemyakin

Publisher
Springer
Year
1970
Tongue
English
Weight
252 KB
Volume
6
Category
Article
ISSN
1573-8736

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Preservativity logic: An analogue of int
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj

An application of fuzzy logic reasoning
An application of fuzzy logic reasoning for GIS temporal modeling of dynamic processes
✍ Suzana Dragicevic; Danielle J. Marceau πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 717 KB

The analysis and modeling of dynamic processes require the consideration of both spatial and temporal attributes of data and their integration into a GIS database. However, current GIS raster databases have severe limitations related to the temporal component of data. Data are generally stored throu