Статті в журналах з теми "Intensional logic"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Intensional logic".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Anderson, C. Anthony. "Zalta's intensional logic." Philosophical Studies 69, no. 2-3 (March 1993): 221–29. http://dx.doi.org/10.1007/bf00990086.
Повний текст джерелаMajkić, Zoran. "Conservative Intensional Extension of Tarski's Semantics." Advances in Artificial Intelligence 2013 (February 26, 2013): 1–10. http://dx.doi.org/10.1155/2013/920157.
Повний текст джерелаPriest, Graham. "Intensional paradoxes." Notre Dame Journal of Formal Logic 32, no. 2 (March 1991): 193–211. http://dx.doi.org/10.1305/ndjfl/1093635745.
Повний текст джерелаLeone, Nicola, Luigi Palopoli, and Massimo Romeo. "MODIFYING INTENSIONAL LOGIC KNOWLEDGE." Fundamenta Informaticae 21, no. 3 (1994): 183–203. http://dx.doi.org/10.3233/fi-1994-2132.
Повний текст джерелаda Costa, Newton C. A., and Décio Krause. "An Intensional Schrödinger Logic." Notre Dame Journal of Formal Logic 38, no. 2 (April 1997): 179–94. http://dx.doi.org/10.1305/ndjfl/1039724886.
Повний текст джерелаFitting, Melvin. "First-order intensional logic." Annals of Pure and Applied Logic 127, no. 1-3 (June 2004): 171–93. http://dx.doi.org/10.1016/j.apal.2003.11.014.
Повний текст джерелаJiang, Yue J. "An intensional epistemic logic." Studia Logica 52, no. 2 (1993): 259–80. http://dx.doi.org/10.1007/bf01058391.
Повний текст джерелаBull, R. A., and Johan van Benthem. "A Manual of Intensional Logic." Journal of Symbolic Logic 54, no. 4 (December 1989): 1489. http://dx.doi.org/10.2307/2274837.
Повний текст джерелаPayne, Jonathan. "Extensionalizing Intensional Second-Order Logic." Notre Dame Journal of Formal Logic 56, no. 1 (2015): 243–61. http://dx.doi.org/10.1215/00294527-2835092.
Повний текст джерелаCocchiarella, Nino B. "Conceptualism, realism, and intensional logic." Topoi 8, no. 1 (March 1989): 15–34. http://dx.doi.org/10.1007/bf00138676.
Повний текст джерелаRamsay, Allan. "Theorem proving for intensional logic." Journal of Automated Reasoning 14, no. 2 (1995): 237–55. http://dx.doi.org/10.1007/bf00881857.
Повний текст джерелаRONDOGIANNIS, P., and W. W. WADGE. "Higher-order functional languages and intensional logic." Journal of Functional Programming 9, no. 5 (September 1999): 527–64. http://dx.doi.org/10.1017/s0956796899003445.
Повний текст джерелаМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (April 9, 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Повний текст джерелаSurendonk, Timothy J. "Canonicity for Intensional Logics with Even Axioms." Journal of Symbolic Logic 66, no. 3 (September 2001): 1141–56. http://dx.doi.org/10.2307/2695098.
Повний текст джерелаAnderson, C. Anthony. "Some Difficulties Concerning Russellian Intensional Logic." Noûs 20, no. 1 (March 1986): 35. http://dx.doi.org/10.2307/2215278.
Повний текст джерелаBrauner, T. "Adding Intensional Machinery to Hybrid Logic." Journal of Logic and Computation 18, no. 4 (November 22, 2007): 631–48. http://dx.doi.org/10.1093/logcom/exn005.
Повний текст джерелаvan Lee, Hanna S., Rasmus K. Rendsvig, and Suzanne van Wijk. "Intensional Protocols for Dynamic Epistemic Logic." Journal of Philosophical Logic 48, no. 6 (May 28, 2019): 1077–118. http://dx.doi.org/10.1007/s10992-019-09508-w.
Повний текст джерелаBelnap, Nuel, and Thomas Müller. "CIFOL: Case-Intensional First Order Logic." Journal of Philosophical Logic 43, no. 2-3 (January 20, 2013): 393–437. http://dx.doi.org/10.1007/s10992-012-9267-x.
Повний текст джерелаMuskens, Reinhard. "Intensional models for the theory of types." Journal of Symbolic Logic 72, no. 1 (March 2007): 98–118. http://dx.doi.org/10.2178/jsl/1174668386.
Повний текст джерелаJohnston, S. C. "Robert Kilwardby’s Science of Logic: A Thirteenth-Century Intensional Logic." History and Philosophy of Logic 41, no. 3 (May 19, 2020): 301–3. http://dx.doi.org/10.1080/01445340.2020.1757889.
Повний текст джерелаLapierre, Serge. "A functional partial semantics for intensional logic." Notre Dame Journal of Formal Logic 33, no. 4 (September 1992): 517–41. http://dx.doi.org/10.1305/ndjfl/1093634484.
Повний текст джерелаSwoyer, Chris, and Edward Zalta. "Intensional Logic and the Metaphysics of Intentionality." Noûs 27, no. 2 (June 1993): 243. http://dx.doi.org/10.2307/2215760.
Повний текст джерелаZimmermann, Thomas Ede. "Intensional logic and two-sorted type theory." Journal of Symbolic Logic 54, no. 1 (March 1989): 65–77. http://dx.doi.org/10.2307/2275016.
Повний текст джерелаJacquette, Dale, and Edward N. Zalta. "Intensional Logic and the Metaphysics of Intentionality." Philosophy and Phenomenological Research 51, no. 2 (June 1991): 439. http://dx.doi.org/10.2307/2108142.
Повний текст джерелаHazen, A. P., and Edward N. Zalta. "Intensional Logic and the Metaphysics of Intentionality." Philosophical Review 100, no. 3 (July 1991): 474. http://dx.doi.org/10.2307/2185073.
Повний текст джерелаRONDOGIANNIS, P., and W. W. WADGE. "First-order functional languages and intensional logic." Journal of Functional Programming 7, no. 1 (January 1997): 73–101. http://dx.doi.org/10.1017/s0956796897002633.
Повний текст джерелаGLASHOFF, KLAUS. "AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC." Review of Symbolic Logic 3, no. 2 (March 17, 2010): 262–72. http://dx.doi.org/10.1017/s1755020309990396.
Повний текст джерелаDu, W., and W. W. Wadge. "A 3D spreadsheet based on intensional logic." IEEE Software 7, no. 3 (May 1990): 78–89. http://dx.doi.org/10.1109/52.55232.
Повний текст джерелаBelnap, Nuel, and Thomas Müller. "BH-CIFOL: Case-Intensional First Order Logic." Journal of Philosophical Logic 43, no. 5 (August 25, 2013): 835–66. http://dx.doi.org/10.1007/s10992-013-9292-4.
Повний текст джерелаDuží, Marie, and Aleš Horák. "Hyperintensional Reasoning Based on Natural Language Knowledge Base." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 28, no. 03 (May 21, 2020): 443–68. http://dx.doi.org/10.1142/s021848852050018x.
Повний текст джерелаMoschovakis, Yiannis N. "The formal language of recursion." Journal of Symbolic Logic 54, no. 4 (December 1989): 1216–52. http://dx.doi.org/10.1017/s0022481200041086.
Повний текст джерелаMagryś, Roman. "Prawda i fałsz wypowiedzi literackiej." Dydaktyka Polonistyczna 15, no. 6 (2020): 72–91. http://dx.doi.org/10.15584/dyd.pol.15.2020.5.
Повний текст джерелаHanson, William H., and James Hawthorne. "Validity in intensional languages: a new approach." Notre Dame Journal of Formal Logic 26, no. 1 (January 1985): 9–35. http://dx.doi.org/10.1305/ndjfl/1093870758.
Повний текст джерелаCarlström, Jesper. "Interpreting descriptions in intensional type theory." Journal of Symbolic Logic 70, no. 2 (June 2005): 488–514. http://dx.doi.org/10.2178/jsl/1120224725.
Повний текст джерелаRedding, Paul. "Hegel’s Subjective Logic as a Logic for (Hegel’s) Philosophy of Mind." Hegel Bulletin 39, no. 1 (October 17, 2016): 1–22. http://dx.doi.org/10.1017/hgl.2016.54.
Повний текст джерелаAnderson, C. Anthony. "Alonzo Church's Contributions to Philosophy and Intensional Logic." Bulletin of Symbolic Logic 4, no. 2 (June 1998): 129–71. http://dx.doi.org/10.2307/421020.
Повний текст джерелаMorra, Lucia. "Traduzione e filosofia analitica: prima di Quine." PARADIGMI, no. 2 (July 2009): 17–31. http://dx.doi.org/10.3280/para2009-002003.
Повний текст джерелаGAO, YING, and JINGDE CHENG. "Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)." Mathematical Structures in Computer Science 18, no. 1 (February 2008): 145–64. http://dx.doi.org/10.1017/s0960129508006592.
Повний текст джерелаBacon, Andrew, John Hawthorne, and Gabriel Uzquiano. "Higher-order free logic and the Prior-Kaplan paradox." Canadian Journal of Philosophy 46, no. 4-5 (August 2016): 493–541. http://dx.doi.org/10.1080/00455091.2016.1201387.
Повний текст джерелаGalanaki, Chrysida, Christos Nomikos, and Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming." Annals of Pure and Applied Logic 168, no. 2 (February 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Повний текст джерелаAlves, E. H., and J. A. D. Guerzoni. "Extending Montague's system: a three valued intensional logic." Studia Logica 49, no. 1 (March 1990): 127–32. http://dx.doi.org/10.1007/bf00401558.
Повний текст джерелаOrgun, Mehmet A., and William W. Wadge. "Towards a unified theory of intensional logic programming." Journal of Logic Programming 13, no. 4 (August 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Повний текст джерелаBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming." Fundamenta Informaticae 16, no. 3-4 (May 1, 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Повний текст джерелаGaines, Brian R., and Mildred L. G. Shaw. "Knowledge acquisition tools based on personal construct psychology." Knowledge Engineering Review 8, no. 1 (March 1993): 49–85. http://dx.doi.org/10.1017/s0269888900000060.
Повний текст джерелаPreller, A., and N. Lafaye De Micheaux. "Intensional Equality in Categories With Structure and Coherence Problems." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34, no. 5 (1988): 421–32. http://dx.doi.org/10.1002/malq.19880340506.
Повний текст джерелаJäger, Gerhard. "An intensional fixed point theory over first order arithmetic." Annals of Pure and Applied Logic 128, no. 1-3 (August 2004): 197–213. http://dx.doi.org/10.1016/j.apal.2003.11.032.
Повний текст джерелаBARTHOLOMEW, MICHAEL, and JOOHYUNG LEE. "On the stable model semantics for intensional functions." Theory and Practice of Logic Programming 13, no. 4-5 (July 2013): 863–76. http://dx.doi.org/10.1017/s1471068413000549.
Повний текст джерелаGilmore, Paul C. "An intensional type theory: motivation and cut-elimination." Journal of Symbolic Logic 66, no. 1 (March 2001): 383–400. http://dx.doi.org/10.2307/2694928.
Повний текст джерелаPasquerella, Lynn. "INTENSIONAL LOGIC AND BRENTANO’S NON-PROPOSITIONAL THEORY OF JUDGMENT." Grazer Philosophische studien 29, no. 1 (August 13, 1987): 59–62. http://dx.doi.org/10.1163/18756735-90000309.
Повний текст джерелаPezlar, Ivo. "On Two Notions of Computation in Transparent Intensional Logic." Axiomathes 29, no. 2 (September 14, 2018): 189–205. http://dx.doi.org/10.1007/s10516-018-9401-7.
Повний текст джерела