×

Found 926 Documents (Results 801–900)

Combining type disciplines. (English) Zbl 0919.03028

Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 31-70 (1994).
MSC:  03B70 68Q55 03F05
PDFBibTeX XMLCite

Gentzen-type systems and Hilbert’s epsilon substitution method. I. (English) Zbl 0835.03023

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 91-122 (1994).
MSC:  03F05 03F30
PDFBibTeX XMLCite

Reasoning with higher order partial functions. (English) Zbl 0840.03023

Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 167-181 (1993).
MSC:  03B70 03B15 03B40 68Q60
PDFBibTeX XMLCite

A term calculus for intuitionistic linear logic. (English) Zbl 0795.68127

Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 75-90 (1993).
PDFBibTeX XMLCite

Basic proof theory. (English) Zbl 0793.03056

Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 3-26 (1992).
PDFBibTeX XMLCite

Models of partial inductive definitions. (English) Zbl 0786.03029

Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 365-384 (1991).
MSC:  03D70
PDFBibTeX XMLCite

Logic and computer science: an introduction. (Logique et informatique: une introduction. Avant propos de Maurice Nivat.) (French) Zbl 0746.03003

Collection Didactique. 8. Rocquencourt: INRIA. 257 p. (1991).
PDFBibTeX XMLCite

Extensions of logic programming. International workshop, Tübingen, FRG, 8–10 December 1989. Proceedings. (English) Zbl 0770.68025

Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991).
PDFBibTeX XMLCite
Full Text: DOI

An epistemic interpretation of intuitionistic logic. (Eine epistemische Interpretation der intuitionistischen Logik.) (German) Zbl 0744.03010

Unipress: Reihe Philosophie. 6. Würzburg, Regensburg: Königshausen u. Neumann, Univ. Regensburg. 138 S. (1990).
MSC:  03B20 03A05
PDFBibTeX XMLCite

Structural rules and a logical hierarchy. (English) Zbl 0790.03007

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 95-104 (1990).
MSC:  03B20 03B40 03F05
PDFBibTeX XMLCite

A first order logic for partial functions (extended abstract). (English) Zbl 1492.03012

Monien, Burkhard (ed.) et al., STACS 89. 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16–18, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 349, 47-58 (1989).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Mehrwertige Logik: Eine Einführung in Theorie und Anwendungen. (Many- valued logic: An introduction into theory and applications). (German) Zbl 0714.03022

Logica Nova. Berlin: Akademie-Verlag. x, 375 S. DM 42.00 (1989).
Reviewer: A.Hoogewijs
MSC:  03B50 03B52 03-01
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software