𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic characterization of certain sets of intuitionistic logical connectives

✍ Scribed by A. D. Yashin

Publisher
SP MAIK Nauka/Interperiodica
Year
1989
Tongue
English
Weight
567 KB
Volume
45
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logical connectives of probabilistic set
Logical connectives of probabilistic sets
✍ Ernest CzogaΕ‚la; Siegfried Gottwald; Witold Pedrycz πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 458 KB
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

A(nother) characterization of intuitioni
A(nother) characterization of intuitionistic propositional logic
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 123 KB

In Iemho (J. Symbolic Logic, to appear) we gave a countable basis V for the admissible rules of IPC . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in V are admissible. This shows that, relative to the disjunction property, IPC is m

Quantales as completions of ordered mono
Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic
✍ D. Larchey-Wendling; D. Galmiche πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 939 KB

The aim of this paper is to propose a unified analysis of the relationships between the notions of order and closure and to relate it to different semantics of Intuitionistic Linear Logic (ILL). We study the embedding of ordered monoids into quantales and then we propose general constructions and re