Статті в журналах з теми "Induction (Logic)"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Induction (Logic)".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Devesas Campos, Marco, and Marcelo Fiore. "Classical logic with Mendler induction." Journal of Logic and Computation 30, no. 1 (January 2020): 77–106. http://dx.doi.org/10.1093/logcom/exaa004.
Kaminsky, Jack. "Logic, Induction, and Ontology." International Studies in Philosophy 20, no. 1 (1988): 111. http://dx.doi.org/10.5840/intstudphil198820151.
Howson, Colin. "A Logic of Induction." Philosophy of Science 64, no. 2 (June 1997): 268–90. http://dx.doi.org/10.1086/392551.
Terwijn, Sebastiaan A. "Probabilistic Logic and Induction." Journal of Logic and Computation 15, no. 4 (August 1, 2005): 507–15. http://dx.doi.org/10.1093/logcom/exi032.
Yamaguchi, Fumihiko, and Masakazu Nakanishi. "Induction in linear logic." International Journal of Theoretical Physics 35, no. 10 (October 1996): 2107–16. http://dx.doi.org/10.1007/bf02302230.
Kuznetsov, Stepan. "Action Logic is Undecidable." ACM Transactions on Computational Logic 22, no. 2 (May 15, 2021): 1–26. http://dx.doi.org/10.1145/3445810.
K.M.MAKWANA, K. M. MAKWANA, Dr B. R. PAREKH Dr.B.R.PAREKH, and SHEETAL SHINKHEDE. "Fuzzy Logic Controller Vs Pi Controller for Induction Motor Drive." Indian Journal of Applied Research 3, no. 7 (October 1, 2011): 315–18. http://dx.doi.org/10.15373/2249555x/july2013/97.
Dogan, Hamide. "Mathematical induction: deductive logic perspective." European Journal of Science and Mathematics Education 4, no. 3 (July 15, 2016): 315–30. http://dx.doi.org/10.30935/scimath/9473.
Greenland, Sander. "Probability Logic and Probabilistic Induction." Epidemiology 9, no. 3 (May 1998): 322–32. http://dx.doi.org/10.1097/00001648-199805000-00018.
Arieli, Itai, and Robert J. Aumann. "The logic of backward induction." Journal of Economic Theory 159 (September 2015): 443–64. http://dx.doi.org/10.1016/j.jet.2015.07.004.
Aehlig, Klaus. "Induction and inductive definitions in fragments of second order arithmetic." Journal of Symbolic Logic 70, no. 4 (December 2005): 1087–107. http://dx.doi.org/10.2178/jsl/1129642116.
Kaye, Richard. "Parameter-Free Universal Induction." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35, no. 5 (1989): 443–56. http://dx.doi.org/10.1002/malq.19890350511.
Athanassopoulos, Evangelos, and Michael Gr Voskoglou. "A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic." Mathematics 8, no. 6 (June 1, 2020): 875. http://dx.doi.org/10.3390/math8060875.
Unver, H. M. "Control freaks [induction furnace logic controller]." Power Engineer 19, no. 3 (2005): 36. http://dx.doi.org/10.1049/pe:20050307.
Tinkham, Nancy Lynn. "Schema induction for logic program synthesis." Artificial Intelligence 98, no. 1-2 (January 1998): 1–47. http://dx.doi.org/10.1016/s0004-3702(97)00055-6.
Tiu, Alwen, and Alberto Momigliano. "Cut elimination for a logic with induction and co-induction." Journal of Applied Logic 10, no. 4 (December 2012): 330–67. http://dx.doi.org/10.1016/j.jal.2012.07.007.
Wong, Man Leung, and Kwong Sak Leung. "Evolutionary Program Induction Directed by Logic Grammars." Evolutionary Computation 5, no. 2 (June 1997): 143–80. http://dx.doi.org/10.1162/evco.1997.5.2.143.
Wilmers, George. "Bounded existential induction." Journal of Symbolic Logic 50, no. 1 (March 1985): 72–90. http://dx.doi.org/10.2307/2273790.
Dybjer, Peter, and Anton Setzer. "Induction–recursion and initial algebras." Annals of Pure and Applied Logic 124, no. 1-3 (December 2003): 1–47. http://dx.doi.org/10.1016/s0168-0072(02)00096-9.
Borrego-Díaz, Joaquín. "Algebraic combinatorics in bounded induction." Annals of Pure and Applied Logic 172, no. 2 (February 2021): 102885. http://dx.doi.org/10.1016/j.apal.2020.102885.
Kotlarski, Henryk. "Bounded Induction and Satisfaction Classes." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32, no. 31-34 (1986): 531–44. http://dx.doi.org/10.1002/malq.19860323107.
Abhilash, Kesa. "Scalar Control of Induction motor using Fuzzy logic." International Journal for Research in Applied Science and Engineering Technology 9, no. VI (June 25, 2021): 2331–38. http://dx.doi.org/10.22214/ijraset.2021.35503.
Priest, Graham. "The Logic of Backwards Inductions." Economics and Philosophy 16, no. 2 (October 2000): 267–85. http://dx.doi.org/10.1017/s0266267100000250.
Simpson, Stephen G., та Rick L. Smith. "Factorization of polynomials and Σ10 induction". Annals of Pure and Applied Logic 31 (1986): 289–306. http://dx.doi.org/10.1016/0168-0072(86)90074-6.
Bigorajska, Teresa. "Universal Induction and True Universal Arithmetic." Mathematical Logic Quarterly 40, no. 1 (1994): 103–5. http://dx.doi.org/10.1002/malq.19940400114.
Jeřábek, Emil. "The strength of sharply bounded induction." MLQ 52, no. 6 (December 2006): 613–24. http://dx.doi.org/10.1002/malq.200610019.
Schwichtenberg, Helmut. "Dialectica interpretation of well-founded induction." MLQ 54, no. 3 (June 2008): 229–39. http://dx.doi.org/10.1002/malq.200710045.
Kelly, Kevin T. "Reichenbach, induction, and discovery." Erkenntnis 35, no. 1-3 (July 1991): 123–49. http://dx.doi.org/10.1007/bf00388283.
Enayat, Ali, and Fedor Pakhomov. "Truth, disjunction, and induction." Archive for Mathematical Logic 58, no. 5-6 (February 4, 2019): 753–66. http://dx.doi.org/10.1007/s00153-018-0657-9.
Talaat, Hossam, Mohamed Ezzat, and Ahmed Saleh. "Fuzzy Logic Based Induction Motor Condition Monitoring." International Conference on Electrical Engineering 9, no. 9th (May 1, 2014): 1–6. http://dx.doi.org/10.21608/iceeng.2014.30380.
Eskande, Mona N. "Fuzzy Logic Control of Saturated Induction Machine." ERJ. Engineering Research Journal 24, no. 4 (October 1, 2001): 33–47. http://dx.doi.org/10.21608/erjm.2001.71131.
Gazda, Maciej, and Wan Fokkink. "Modal Logic and the Approximation Induction Principle." Electronic Proceedings in Theoretical Computer Science 8 (November 17, 2009): 41–50. http://dx.doi.org/10.4204/eptcs.8.4.
Sabre, Ru Michael. "Semeiotic logic or, deduction, induction, and semeiotic." Semiotica 2018, no. 222 (April 25, 2018): 81–85. http://dx.doi.org/10.1515/sem-2016-0164.
GAZDA, MACIEJ, and WAN FOKKINK. "Modal logic and the approximation induction principle." Mathematical Structures in Computer Science 22, no. 2 (February 28, 2012): 175–201. http://dx.doi.org/10.1017/s0960129511000387.
Lamma, Evelina, Paola Mello, Michela Milano, and Fabrizio Riguzzi. "Integrating induction and abduction in logic programming." Information Sciences 116, no. 1 (May 1999): 25–54. http://dx.doi.org/10.1016/s0020-0255(98)10092-0.
Uyar, Okan, and Mehmet Çunkaş. "Fuzzy logic-based induction motor protection system." Neural Computing and Applications 23, no. 1 (February 11, 2012): 31–40. http://dx.doi.org/10.1007/s00521-012-0862-0.
Cantini, Andrea. "Polytime, combinatory logic and positive safe induction." Archive for Mathematical Logic 41, no. 2 (February 1, 2002): 169–89. http://dx.doi.org/10.1007/s001530100105.
Ta, Quang-Trung, Ton Chanh Le, Siau-Cheng Khoo, and Wei-Ngan Chin. "Automated mutual induction proof in separation logic." Formal Aspects of Computing 31, no. 2 (October 11, 2018): 207–30. http://dx.doi.org/10.1007/s00165-018-0471-5.
Cameron-Jones, R. Mike, and J. Ross Quinlan. "Efficient top-down induction of logic programs." ACM SIGART Bulletin 5, no. 1 (January 1994): 33–42. http://dx.doi.org/10.1145/181668.181676.
DA COSTA, NEWTON C. A., and STEVEN FRENCH. "Pragmatic Truth and the Logic of Induction." British Journal for the Philosophy of Science 40, no. 3 (September 1, 1989): 333–56. http://dx.doi.org/10.1093/bjps/40.3.333.
Erdem, Esra, and Pierre Flener. "Completing open logic programs by constructive induction." International Journal of Intelligent Systems 14, no. 10 (October 1999): 995–1019. http://dx.doi.org/10.1002/(sici)1098-111x(199910)14:10<995::aid-int4>3.0.co;2-w.
Abdalla, Turki, Haroution Hairik, and Adel Dakhil. "Direct Torque Control System for a Three Phase Induction Motor With Fuzzy Logic Based Speed Controller." Iraqi Journal for Electrical and Electronic Engineering 6, no. 2 (December 1, 2010): 131–38. http://dx.doi.org/10.37917/ijeee.6.2.8.
Beshai, J. A. "Toward a Phenomenology of Trance Logic in Posttraumatic Stress Disorder." Psychological Reports 94, no. 2 (April 2004): 649–54. http://dx.doi.org/10.2466/pr0.94.2.649-654.
Otero, Margarita. "The amalgamation property in normal open induction." Notre Dame Journal of Formal Logic 34, no. 1 (December 1992): 50–55. http://dx.doi.org/10.1305/ndjfl/1093634563.
Stump, Aaron. "From realizability to induction via dependent intersection." Annals of Pure and Applied Logic 169, no. 7 (July 2018): 637–55. http://dx.doi.org/10.1016/j.apal.2018.03.002.
Adamowicz, Z., and C. Dimitracopoulos. "On A Problem Concerning Parameter Free Induction." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37, no. 23-24 (1991): 363–66. http://dx.doi.org/10.1002/malq.19910372304.
Cropper, Andrew. "Forgetting to Learn Logic Programs." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 04 (April 3, 2020): 3676–83. http://dx.doi.org/10.1609/aaai.v34i04.5776.
Joshi, Girisha, and Pinto Pius A J. "ANFIS controller for vector control of three phase induction motor." Indonesian Journal of Electrical Engineering and Computer Science 19, no. 3 (September 1, 2020): 1177. http://dx.doi.org/10.11591/ijeecs.v19.i3.pp1177-1185.
Medsalem, Medyahya Ould, та Kazuyuki Tanaka. "Δ3O-determinacy, comprehension and induction". Journal of Symbolic Logic 72, № 2 (червень 2007): 452–62. http://dx.doi.org/10.2178/jsl/1185803618.
Salmon, Wesley C. "Hans Reichenbach's vindication of induction." Erkenntnis 35, no. 1-3 (July 1991): 99–122. http://dx.doi.org/10.1007/bf00388282.