Handbook of Automated ReasoningHandbook of Automated ReasoningVolume 2, 2001, Pages 1487-1578Chapter 22 - Connections in Nonclassical LogicsAuthor links open overlay panelArild WaalerShow moreOutlineShareCitehttps://doi.org/10.1016/B978-044450813-3/50024-2Get rights and contentFirst page previewClick to open first page previewView PDFRecommended articlesReferences (0)Cited by (0)View full textCopyright © 2001 Elsevier Science Publishers B.V. All rights reserved.