𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Further Results on Proof Theories For Semilattice Logics

✍ Scribed by Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart

Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
212 KB
Volume
34
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proof Theories for Semilattice Logics
Proof Theories for Semilattice Logics
✍ Steve Giambrone; Alasdaire Urquhart πŸ“‚ Article πŸ“… 1987 πŸ› John Wiley and Sons 🌐 English βš– 400 KB
On the Proof Theory of the Modal Logic G
On the Proof Theory of the Modal Logic Grz
✍ M. Borga; P. Gentilini πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 246 KB πŸ‘ 1 views
On logical connectives for a fuzzy set t
On logical connectives for a fuzzy set theory with or without nonempty self-contradictions
✍ E. Trillas; C. Alsina; J. Jacas πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 107 KB

## αΊ€e show how noncontradiction and excluded-middle laws can hold in a fuzzy logic where the concepts of contradiction and incompatibility are clearly distinguished. However, if we want to avoid self-contradictions in fuzzy set theory then one needs to consider only Ε½ fuzzy sets with supremum 1 and