Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/jaeger-ge

Gerhard Jäger (jaeger-ge)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Jäger, Gerhard. 1986a. Theories for Admissible Sets. A Unifying Approach to Proof Theory. Napoli: Bibliopolis.
    Jäger, Gerhard. 1986b. Some Contributions to the Logical Analysis of Circumscription.” in CADE-8.Proceedings of the 8th International Conference on Automated Deduction, edited by Jörg H. Siekmann, pp. 154–171. Lecture Notes in Computer Science n. 230. Berlin: Springer.
    Jäger, Gerhard. 1987. Some Proof-Theoretic Contributions to Theories of Sets.” in Logic Colloquium ’85. Proceedings of the Colloquium held in Orsay, France, July 1985, edited by The Paris Logic Group, pp. 171–191. Studies in Logic and the Foundations of Mathematics n. 122. Amsterdam: North-Holland Publishing Co.
    Jäger, Gerhard. 1991. Notions of Nonmonotonic Derivability.” in Nonmonotonic and Inductive Logics, edited by Jürgen Dix, Klaus P. Jantke, and Peter H. Schmidt, pp. 74–84. Berlin: Springer.
    Jäger, Gerhard. 1999. Deconstruction Jacobson’s Z.” in ILLC. Proceedings of the Twelfth Amsterdam Colloquium, edited by Paul J. E. Dekker and Martin B. J. Stokhof, pp. 133–138. University of Amsterdam, Holland, Institute for Logic, Language; Computation: ILLC Publications.
    Jäger, Gerhard. 2000. Towards an Explanation of Copula Effects.” ZAS Papers in Linguistics 16: 1–30.
    Jäger, Gerhard. 2001. First Order Theories for Nonmonotonic Inductive Definitions: Recursively Inaccessible and Mahlo.” The Journal of Symbolic Logic 66(3): 1073–1089.
    Jäger, Gerhard. 2002. Some Notes on the Formal Properties of Bidirectional Optimality Theory.” Journal of Logic, Language, and Information 11(4): 427–451.
    Jäger, Gerhard. 2003. Resource Sharing in Type Logical Grammar.” in Resource Sensitivity in Binding and Anaphora, edited by Geert-Jan M. Kruijff and Richard T. Oehrle, pp. 97–122. Studies in Linguistics and Philosophy n. 80. Dordrecht: Kluwer Academic Publishers.
    Jäger, Gerhard. 2004. Residuation, Structural Rules and Context Freeness.” Journal of Logic, Language, and Information 13(1): 47–59.
    Jäger, Gerhard. 2006. Convex Meanings and Evolutionary Stability.” in, pp. 139–144.
    Jäger, Gerhard. 2007. The Evolution of Convex Categories.” Linguistics and Philosophy 30(5): 551–564.
    Jäger, Gerhard. 2010. Natural Color Categories Are Convex Sets.” in Logic, Language and Meaning. 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009. Revised Selected Papers, edited by Maria Aloni, Harald Andreas Bastiaanse, Tikitu de Jager, and Katrin Schulz, pp. 11–20. Berlin: Springer, doi:10.1007/978-3-642-14287-1.
    Jäger, Gerhard. 2011. Game-Theoretical Pragmatics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, 2nd ed., pp. 467–491. Amsterdam: Elsevier Science Publishers B.V. First edition: van Benthem and ter Meulen (1997).
    Jäger, Gerhard. 2012a. Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems.” Journal of Semantics 29(4): 521–544.
    Jäger, Gerhard. 2012b. Game Theory in Semantics and Pragmatics.” in Semantics: An International Handbook of Natural Language Meaning. Volume 3, edited by Claudia Maienborn, Klaus von Heusinger, and Paul H. Portner, pp. 2487–2515. Handbooks of Linguistics and Communication Science n. 33.1. Berlin: de Gruyter Monton.
    Jäger, Gerhard. 2014a. Rationalizable Signaling.” Erkenntnis 79(suppl., 4): 673–706.
    Jäger, Gerhard. 2014b. What is a Universal? On the Explanatory Potential of Evolutionary Game Theory in Linguistics.” in Formal Approaches to Semantics and Pragmatics. Japanese and Beyond, edited by Eric McCready, Katsuhiko Yabushita, and Kei Yoshimoto, pp. 85–104. Studies in Linguistics and Philosophy n. 95. Dordrecht: Springer.
    Jäger, Gerhard, Kahle, Reinhard, Setzer, Anton and Strahm, Thomas. 1999. The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.” The Journal of Symbolic Logic 64.
    Jäger, Gerhard, Kahle, Reinhard and Strahm, Thomas. 1999. On Applicative Theories.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 83–92. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
    Jäger, Gerhard, Kahle, Reinhard and Studer, Thomas. 2001. Universes in Explicit Mathematics.” Annals of Pure and Applied Logic 109.
    Jäger, Gerhard and Marti, Michel. 2016. A Canonical Model Construction for Intuitionistic Distributed Knowledge.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 420–434. London: King’s College Publications.
    Jäger, Gerhard and Probst, Dieter. 2004. Iterating \(\Sigma\) Operations in Admissible Set Theory without Foundation: A Further Aspect of Metaprediative Mahlo.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 119–134. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
    Jäger, Gerhard and Stärk, Robert F. 1998. A Proof-Theoretic Framework for Logic Programming.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 639–682. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
    Jäger, Gerhard and Strahm, Thomas. 2000. Fixed Point Theories and Dependent Choice.” Archive for Mathematical Logic 39.
    Jäger, Gerhard and Strahm, Thomas. 2002. The Proof-Theoretic Analysis of the Suslin Operator in Applicative Theories.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 270–292. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.