References: [1] Ichikawa, J. J., Steup, M. (2018). The Analysis of Knowledge, The Stanford Encyclopedia of Philosophy (Summer 2018 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/sum2018/entries/knowledge-analysis/ [2] Gettier, E. L. (19363). Is Justified True Belief Knowledge?, Analysis, 23(6) 121123 (1963), https://doi.org/10.2307/3326922 [3] Ryle, G. (1945). Knowing How and Knowing That: The Presidential Address, In: Proceedings of the Aristotelian Society, New Series, 46, 1-16 (1945-46). [4] Nagel, E., Cohen, M. R. (1934). An Introduction to Logic and Scientific Method, Routledge. [5] Jakus, G. (2013). Concepts, Ontologies and Knowledge Representation, Springer. [6] Abraham, A., Grosan, C. (2011). Intelligent Systems : A Modern Approach, Springer. [7] Lakemeyer, G., Nebel, B. (1994). Foundations of Knowledge Representation and Reasoning, Springer. [8] Gruber, Th. R. (1995). Toward principles for the design of ontologies used for knowledge sharing?, International Journal of Human-Computer Studies, 43(5-6) 907-928. [9] Fuller, S. (2018). Post-Truth: Knowledge as a Power Game, Cambridge University Press. [10] Sundholm, G. (2018). The Neglect of Epistemic Considerations in Logic: the Case of Epistemic Assumptions, Topoi 38 (3) 551-559 (2018) https://doi.org/10.1007/s11245- 017-9534-0 (Open Access) [11] Prawitz, D. (1974). On the Idea of the General Proof Theory, Synthese, 27(1-2) 63-77. [12] Tarski, A. (1983). On the Concept of Logical Consequence, In: Logic, Semantics, Metamathematics, Hackett Publ., 1983, p. 409-420 [13] Smith, B. (1999). Truthmaker realism, Australasian Journal of Philosophy, 77 (3) 274- 291. [14] Artemov, S., Fitting. (2019). Justification Logic: Reasoning with Reasons, Cambridge University Press. [15] Piecha, Th., Schroeder-Heister, P. (2015). Advances in Proof-Theoretic Semantics, Springer. [16] Martin-Lnof, P. (1984). Intuitionistic Type Theory, BIBLIOPOLIS. [17] Univalent Foundations Program: Homotopy Type Theory, IAS Princeton, 2013 URL = href="https://homotopytypetheory.org/">https://homotopytypetheory.org/ book/ (Open Access) [18] Rodin, A. (2019). Models of HoTT and the Constructive View of Theories, In: Centrone, S., Kant, D. and Sarikaya, D. (Eds.) Reections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer 2019, p. 189- 220 [19] Strom, J. (2011). Modern Classical Homotopy Theory, American Mathematical Society. [20] Rodin, A. (2017). Venus Homotopically, IfCoLog Journal of Logics and their Applications, 4(4) 1427-1446 (2017, open access) [21] Grayson, D. R. (2017). An introduction to univalent foundations for mathematicians, Bulletin of the American Mathematical Society 55 (2017), https://doi.org/10.1090/bull/1616. [22] Szegedy, C. (2013). Intriguing Properties of Neural Networks, CoRR abs/1312.6199. |