Tableau method for residuated logic Journal Articles

authors

• MacCaull, Wendy

status

• published 

publication date

• June 1996

has subject area

• 0101 Pure Mathematics (FoR)
• 0801 Artificial Intelligence and Image Processing (FoR)
• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Fuzzy Sets and Systems  Journal

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 49 Mathematical Sciences
• 4904 Pure Mathematics

Digital Object Identifier (DOI)

• 10.1016/0165-0114(95)00199-9

start page

• 327

end page

• 337

volume

• 80

issue

• 3