𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical connectives of probabilistic sets

✍ Scribed by Ernest Czogałla; Siegfried Gottwald; Witold Pedrycz


Publisher
Elsevier Science
Year
1983
Tongue
English
Weight
458 KB
Volume
10
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Adequate Sets of Temporal Connectives in
✍ Alan Martin 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 252 KB

An adequate set of temporal connectives for CTL is a subset of the logic's temporal connectives that is sufficient to express equivalents for all CTL formulas. In this paper, a characterization of all such adequate sets is presented. Specifically, it is shown that a subset of CTL's temporal connect