Export 300 results:
Jäger, G.: A deductive approach to logic programming. In: Schwichtenberg, H. Proof and Computation. pp. 231-270. Springer (1995).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: LWB - a logics workbench, extended abstract. In: Dreschler-Fischer, L. and Pribbenow, S. Proceedings of KI-95 Activities: Workshop, Posters, Demos. pp. 73-74. Gesellschaft für Informatik (1995).
Kahle, R.: Natural numbers and forms of weak induction in applicative theories. (1995).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: Propositional logics on the computer. In: Baumgartner, P., Hähnle, R., and Posegga, J. Proceedings of Theorem Proving with Analytic Tableaux and Related Methods. pp. 310-323. Springer (1995).
Heinle, W., Schlingloff, B.-H.: Relational semantics for modal logics. In: Rodosek, R. Proceedings of Verification in New Orientations. pp. 104-131. University of Maribor (1995).
Jäger, G., Strahm, T.: Second order theories with ordinals and elementary comprehension. Archive for Mathematical Logic. 34, 345-375 (1995).
Jäger, G., Strahm, T.: Totality in applicative theories. Annals of Pure and Applied Logic. 74, 105-120 (1995).
Hösli, B., Jäger, G.: About some symmetries of negation. The Journal of Symbolic Logic. 59, 473-485 (1994).
Bütler, B., Esser, R., Jäger, G., Künzi, U.-M., Lienhard, H., Mattmann, R.: Executable models for analysis and implementation of complex systems. Proceedings of Information Conference of Swiss Priority Programme Informatics Research 1992–1996, Module 1: Secure Distributed Systems (1994).
Strassen, T.: The basic logic of proofs. (1994).
Jäger, G.: Fixed points in Peano arithmetic with ordinals. Annals of Pure and Applied Logic. 60, 119-132 (1993).
Artemov, S., Strassen, T.: Functionality in the Basic Logic of Proofs. (1993).
Jäger, G.: Some proof-theoretic aspects of logic programming. In: Bauer, F.L., Brauer, W., and Schwichtenberg, H. Logic and Algebra of Specification. pp. 113-142. Springer (1993).
Feferman, S., Jäger, G.: Systems of explicit mathematics with non-constructive $μ$-operator. Part I. Annals of Pure and Applied Logic. 65, 243-263 (1993).
Artemov, S., Strassen, T.: The Basic Logic of Proofs. In: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., and Richter, M.M. Computer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers. pp. 14-28. Springer (1993).
Jäger, G., Stärk, R.F.: The defining power of stratified and hierarchical logic programs. Journal of Logic Programming. 15, 55-77 (1993).
Artemov, S., Strassen, T.: The Logic of the Gödel Proof Predicate. In: Gottlob, G., Leitsch, A., and Mundici, D. Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24–27, 1993, Proceedings. pp. 71-82. Springer (1993).