Articles de revues sur le sujet « Induction (Logic) »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Induction (Logic) ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Devesas Campos, Marco, et Marcelo Fiore. « Classical logic with Mendler induction ». Journal of Logic and Computation 30, no 1 (janvier 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 (juin 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 (1 août 2005) : 507–15. http://dx.doi.org/10.1093/logcom/exi032.
Yamaguchi, Fumihiko, et Masakazu Nakanishi. « Induction in linear logic ». International Journal of Theoretical Physics 35, no 10 (octobre 1996) : 2107–16. http://dx.doi.org/10.1007/bf02302230.
Kuznetsov, Stepan. « Action Logic is Undecidable ». ACM Transactions on Computational Logic 22, no 2 (15 mai 2021) : 1–26. http://dx.doi.org/10.1145/3445810.
K.M.MAKWANA, K. M. MAKWANA, Dr B. R. PAREKH Dr.B.R.PAREKH et SHEETAL SHINKHEDE. « Fuzzy Logic Controller Vs Pi Controller for Induction Motor Drive ». Indian Journal of Applied Research 3, no 7 (1 octobre 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 (15 juillet 2016) : 315–30. http://dx.doi.org/10.30935/scimath/9473.
Greenland, Sander. « Probability Logic and Probabilistic Induction ». Epidemiology 9, no 3 (mai 1998) : 322–32. http://dx.doi.org/10.1097/00001648-199805000-00018.
Arieli, Itai, et Robert J. Aumann. « The logic of backward induction ». Journal of Economic Theory 159 (septembre 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 (décembre 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, et Michael Gr Voskoglou. « A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic ». Mathematics 8, no 6 (1 juin 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 (janvier 1998) : 1–47. http://dx.doi.org/10.1016/s0004-3702(97)00055-6.
Tiu, Alwen, et Alberto Momigliano. « Cut elimination for a logic with induction and co-induction ». Journal of Applied Logic 10, no 4 (décembre 2012) : 330–67. http://dx.doi.org/10.1016/j.jal.2012.07.007.
Wong, Man Leung, et Kwong Sak Leung. « Evolutionary Program Induction Directed by Logic Grammars ». Evolutionary Computation 5, no 2 (juin 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 (mars 1985) : 72–90. http://dx.doi.org/10.2307/2273790.
Dybjer, Peter, et Anton Setzer. « Induction–recursion and initial algebras ». Annals of Pure and Applied Logic 124, no 1-3 (décembre 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 (février 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 (25 juin 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 (octobre 2000) : 267–85. http://dx.doi.org/10.1017/s0266267100000250.
Simpson, Stephen G., et 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 (décembre 2006) : 613–24. http://dx.doi.org/10.1002/malq.200610019.
Schwichtenberg, Helmut. « Dialectica interpretation of well-founded induction ». MLQ 54, no 3 (juin 2008) : 229–39. http://dx.doi.org/10.1002/malq.200710045.
Kelly, Kevin T. « Reichenbach, induction, and discovery ». Erkenntnis 35, no 1-3 (juillet 1991) : 123–49. http://dx.doi.org/10.1007/bf00388283.
Enayat, Ali, et Fedor Pakhomov. « Truth, disjunction, and induction ». Archive for Mathematical Logic 58, no 5-6 (4 février 2019) : 753–66. http://dx.doi.org/10.1007/s00153-018-0657-9.
Talaat, Hossam, Mohamed Ezzat et Ahmed Saleh. « Fuzzy Logic Based Induction Motor Condition Monitoring ». International Conference on Electrical Engineering 9, no 9th (1 mai 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 (1 octobre 2001) : 33–47. http://dx.doi.org/10.21608/erjm.2001.71131.
Gazda, Maciej, et Wan Fokkink. « Modal Logic and the Approximation Induction Principle ». Electronic Proceedings in Theoretical Computer Science 8 (17 novembre 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 (25 avril 2018) : 81–85. http://dx.doi.org/10.1515/sem-2016-0164.
GAZDA, MACIEJ, et WAN FOKKINK. « Modal logic and the approximation induction principle ». Mathematical Structures in Computer Science 22, no 2 (28 février 2012) : 175–201. http://dx.doi.org/10.1017/s0960129511000387.
Lamma, Evelina, Paola Mello, Michela Milano et Fabrizio Riguzzi. « Integrating induction and abduction in logic programming ». Information Sciences 116, no 1 (mai 1999) : 25–54. http://dx.doi.org/10.1016/s0020-0255(98)10092-0.
Uyar, Okan, et Mehmet Çunkaş. « Fuzzy logic-based induction motor protection system ». Neural Computing and Applications 23, no 1 (11 février 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 (1 février 2002) : 169–89. http://dx.doi.org/10.1007/s001530100105.
Ta, Quang-Trung, Ton Chanh Le, Siau-Cheng Khoo et Wei-Ngan Chin. « Automated mutual induction proof in separation logic ». Formal Aspects of Computing 31, no 2 (11 octobre 2018) : 207–30. http://dx.doi.org/10.1007/s00165-018-0471-5.
Cameron-Jones, R. Mike, et J. Ross Quinlan. « Efficient top-down induction of logic programs ». ACM SIGART Bulletin 5, no 1 (janvier 1994) : 33–42. http://dx.doi.org/10.1145/181668.181676.
DA COSTA, NEWTON C. A., et STEVEN FRENCH. « Pragmatic Truth and the Logic of Induction ». British Journal for the Philosophy of Science 40, no 3 (1 septembre 1989) : 333–56. http://dx.doi.org/10.1093/bjps/40.3.333.
Erdem, Esra, et Pierre Flener. « Completing open logic programs by constructive induction ». International Journal of Intelligent Systems 14, no 10 (octobre 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 et 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 (1 décembre 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 (avril 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 (décembre 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 (juillet 2018) : 637–55. http://dx.doi.org/10.1016/j.apal.2018.03.002.
Adamowicz, Z., et 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 (3 avril 2020) : 3676–83. http://dx.doi.org/10.1609/aaai.v34i04.5776.
Joshi, Girisha, et 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 (1 septembre 2020) : 1177. http://dx.doi.org/10.11591/ijeecs.v19.i3.pp1177-1185.
Medsalem, Medyahya Ould, et Kazuyuki Tanaka. « Δ3O-determinacy, comprehension and induction ». Journal of Symbolic Logic 72, no 2 (juin 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 (juillet 1991) : 99–122. http://dx.doi.org/10.1007/bf00388282.