English, Article edition: COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS GUO-JUN WANG

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/132936
Physical Description
  • article
Language
  • English

Edition details

Title
  • COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
Author
  • GUO-JUN WANG
Physical Description
  • article
Notes
  • Deduction theorem and its weak forms in classical mathematical logic system, Åukasiewicz logic system, Gödel logic system, product logic system, and the fuzzy logic system â* are discussed and compared. It is pointed out that the weak form of deduction theorem in â* has a clear structure and can be employed to define the concept of consistency degrees of finite theories. Moreover, it is clarified that the negation operator of Gödel type is too strong and is therefore unsuitable for establishing fuzzy logic systems.
  • Deduction theorem, fuzzy logic system, consistency degree, almost tautology, almost contradiction
  • RePEc:wsi:nmncxx:v:01:y:2005:i:01:p:65-77
Language
  • English
Contributed by
OAIster

Get this edition

  • Set up My libraries

    How do I set up "My libraries"?

    In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

  • All (1)
  • Unknown (1)
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment