𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A proof-theoretical investigation of global intuitionistic (fuzzy) logic

✍ Scribed by Agata Ciabattoni

Publisher
Springer
Year
2004
Tongue
English
Weight
247 KB
Volume
44
Category
Article
ISSN
0933-5846

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