๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The complexity of the disjunction and existential properties in intuitionistic logic

โœ Scribed by Sam Buss; Grigori Mints

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
776 KB
Volume
99
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The complexity of existential quantifica
The complexity of existential quantification in concept languages
โœ Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Bernhard Hollunder; Wern ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 965 KB

Much of the research on concept languages, which also are called terminological languages, has focused on the computational complexity of subsumption. The intractability results can be divided into two groups. First, it has been shown that extending the basic language ,~Sfwith constructs containing

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