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

Structured Theory Development for a Mechanized Logic

โœ Scribed by Matt Kaufmann; J Strother Moore


Book ID
111564172
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
233 KB
Volume
26
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A voting mechanism for fuzzy logic
โœ J. Lawry ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 859 KB

An extended notion of binary valuation, referred to as fuzzy valuation, is introduced for vague or fuzzy concepts. It is shown that the behaviour of agents voting on the truth of sentences from a language of the propositional calculus according to such valuations can be described in terms of fuzzy l