Языковая мультивселенная
Аннотация
Полный текст:
PDF (English)Литература
Belluci F., Pietarinen A.-V. Existential Graphs as an Instrument of Logical Analysis // The Review of Symbolic Logic. Vol. 9, 2016. P. 209–238.
Diaconescu R. Three decades of institution theory // Universal Logic / Ed.: Béziau J.-Y. Birkhäuser, 2012. P. 309–322.
Eco U. The Search for the Perfect Language (The Making of Europe). Wiley-Blackwell, 1997.
Fine K. Arbitrary objects and natural deduction // Journal of Philosophical Logic. V. 14, 1985. P. 57–107.
Fine K. Semantic relationism. London: Blackwell, 2007.
Goguen J., Burstall R. Institutions: Abstract model theory for specification and programming // Journal of the ACM. Vol. 39, 1992. P. 95–146.
Hilbert D., Bernays P. Grundlagen der Mathematik I. Berlin, New York: Springer, 1934.
Kay M. XSLT 2.0 and XPath 2.0. A Programmer’s Reference. Indianapolis: Wrox. 4 edition, 2008.
Kracht M., Klein U. The Grammar of Code Switching // Journal of Logic, Language and Information. Vol. 23. 2014. P. 313–329.
Kracht M., Klein U. Notes on disagreement // Evaluations — Denotations — Entities. Studies on Context, Content and the Foundation of Semantics / Eds.: Gutzman D., Köpping J., Meier C. P. 276–305. Amsterdam: John Benjamin’s, 2014.
MacLane S. Categories for the Working Mathematician. (Number 5 in Graduate Texts in Mathematics). Heidelberg: Springer, 1971.
Rabe F. The Future of Logic: Foundation Independence // Logica Universalis. Vol. 10. 2015. P. 1–20.
Wehmeier K. F. The Proper Treatment of Variables in Predicate Logic. Manuscript, University of California, Irvine. 2016.
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2017 M. Kracht
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.