𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the completeness of a new intuitionistic connective

✍ Scribed by A. D. Yashin

Publisher
SP MAIK Nauka/Interperiodica
Year
1996
Tongue
English
Weight
440 KB
Volume
60
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Semantic Completeness of a Global In
The Semantic Completeness of a Global Intuitionistic Logic
✍ Hiroshi Aoyama πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 433 KB

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar system

Connectivity on Complete Lattices: New R
Connectivity on Complete Lattices: New Results
✍ Ulisses Braga-Neto; John Goutsias πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 451 KB

The notion of connectivity is very important in image processing and analysis, and particularly in problems related to image segmentation. It is well understood, however, that classical notions of connectivity, including topological and graph-theoretic notions, are not compatible with each other. Th