Marty, Robert Foliated semantic networks: Concepts, facts, qualities. (English) Zbl 0790.03031 Comput. Math. Appl. 23, No. 6-9, 679-696 (1992). MSC: 03B99 68T99 03G99 03G15 PDFBibTeX XMLCite \textit{R. Marty}, Comput. Math. Appl. 23, No. 6--9, 679--696 (1992; Zbl 0790.03031) Full Text: DOI
Burch, Robert W. Valental aspects of Peircean algebraic logic. (English) Zbl 0790.03030 Comput. Math. Appl. 23, No. 6-9, 665-677 (1992). MSC: 03B99 03G99 05C10 03G15 PDFBibTeX XMLCite \textit{R. W. Burch}, Comput. Math. Appl. 23, No. 6--9, 665--677 (1992; Zbl 0790.03030) Full Text: DOI
Roberts, Don D. The existential graphs. (English) Zbl 0790.03032 Comput. Math. Appl. 23, No. 6-9, 639-663 (1992). MSC: 03B99 03A05 03-04 68T99 PDFBibTeX XMLCite \textit{D. D. Roberts}, Comput. Math. Appl. 23, No. 6--9, 639--663 (1992; Zbl 0790.03032) Full Text: DOI
Brink, Chris; Schmidt, Renate A. Subsumption computed algebraically. (English) Zbl 0825.68604 Comput. Math. Appl. 23, No. 2-5, 329-342 (1992). MSC: 68T30 68Q45 03B99 PDFBibTeX XMLCite \textit{C. Brink} and \textit{R. A. Schmidt}, Comput. Math. Appl. 23, No. 2--5, 329--342 (1992; Zbl 0825.68604) Full Text: DOI
Winker, Steven K. Complete demodulation for automatic theorem proving. (English) Zbl 0366.68061 Comput. Math. Appl. 2, 161-179 (1976). MSC: 68T15 03B99 PDFBibTeX XMLCite \textit{S. K. Winker}, Comput. Math. Appl. 2, 161--179 (1976; Zbl 0366.68061) Full Text: DOI