Barwise, Jon; Etchemendy, John Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. (English) Zbl 0860.03004 CSLI Lecture Notes. 42. Stanford, CA: CSLI, Center for the Study of Language and Information. xvii, 255 p. (1994). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 03-01 03-04 03B10 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. Etchemendy}, Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Stanford, CA: CSLI, Center for the Study of Language and Information (1994; Zbl 0860.03004)
Avron, Arnon What is a logical system? (English) Zbl 0824.03003 Gabbay, D. M. (ed.), What is a logical system? Oxford: Oxford University Press. Stud. Log. Comput. 4, 217-238 (1994). Reviewer: B.Boričić (Heraklion) MSC: 03B22 03B60 PDFBibTeX XMLCite \textit{A. Avron}, Stud. Log. Comput. 4, 217--238 (1994; Zbl 0824.03003)
Gabbay, D. M. What is a logical system? (English) Zbl 0824.03004 Gabbay, D. M. (ed.), What is a logical system? Oxford: Oxford University Press. Stud. Log. Comput. 4, 179-216 (1994). Reviewer: B.Boričić (Heraklion) MSC: 03B22 03B60 PDFBibTeX XMLCite \textit{D. M. Gabbay}, Stud. Log. Comput. 4, 179--216 (1994; Zbl 0824.03004)
Weaver, George A note on definability in equational logic. (English) Zbl 0812.03015 Hist. Philos. Log. 15, No. 2, 189-199 (1994). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C05 03C40 08B05 03B22 03-03 PDFBibTeX XMLCite \textit{G. Weaver}, Hist. Philos. Log. 15, No. 2, 189--199 (1994; Zbl 0812.03015) Full Text: DOI
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej Structured theory presentations and logic representations. (English) Zbl 0809.03019 Ann. Pure Appl. Logic 67, No. 1-3, 113-160 (1994). Reviewer: N.Curteanu (Iaşi) MSC: 03B70 03B40 68Q55 PDFBibTeX XMLCite \textit{R. Harper} et al., Ann. Pure Appl. Logic 67, No. 1--3, 113--160 (1994; Zbl 0809.03019) Full Text: DOI
da Costa, Newton C. A.; Béziau, Jean-Yves Theory of valuation. (Théorie de la valuation.) (French) Zbl 0973.03012 Log. Anal., Nouv. Sér. 37, No. 146, 95-117 (1994). MSC: 03B22 03B20 03B25 03B53 PDFBibTeX XMLCite \textit{N. C. A. da Costa} and \textit{J.-Y. Béziau}, Log. Anal., Nouv. Sér. 37, No. 146, 95--117 (1994; Zbl 0973.03012)
Gabbay, Dov M. A general theory of structured consequence relations. (English) Zbl 0941.03508 Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 109-151 (1994). MSC: 03B22 03B60 03B47 68T27 PDFBibTeX XMLCite \textit{D. M. Gabbay}, Stud. Log. Comput. 2, 109--151 (1994; Zbl 0941.03508)