Artigos de revistas sobre o tema "Induction (Logic)"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Induction (Logic)".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Devesas Campos, Marco, e Marcelo Fiore. "Classical logic with Mendler induction". Journal of Logic and Computation 30, n.º 1 (janeiro de 2020): 77–106. http://dx.doi.org/10.1093/logcom/exaa004.
Kaminsky, Jack. "Logic, Induction, and Ontology". International Studies in Philosophy 20, n.º 1 (1988): 111. http://dx.doi.org/10.5840/intstudphil198820151.
Howson, Colin. "A Logic of Induction". Philosophy of Science 64, n.º 2 (junho de 1997): 268–90. http://dx.doi.org/10.1086/392551.
Terwijn, Sebastiaan A. "Probabilistic Logic and Induction". Journal of Logic and Computation 15, n.º 4 (1 de agosto de 2005): 507–15. http://dx.doi.org/10.1093/logcom/exi032.
Yamaguchi, Fumihiko, e Masakazu Nakanishi. "Induction in linear logic". International Journal of Theoretical Physics 35, n.º 10 (outubro de 1996): 2107–16. http://dx.doi.org/10.1007/bf02302230.
Kuznetsov, Stepan. "Action Logic is Undecidable". ACM Transactions on Computational Logic 22, n.º 2 (15 de maio de 2021): 1–26. http://dx.doi.org/10.1145/3445810.
K.M.MAKWANA, K. M. MAKWANA, Dr B. R. PAREKH Dr.B.R.PAREKH e SHEETAL SHINKHEDE. "Fuzzy Logic Controller Vs Pi Controller for Induction Motor Drive". Indian Journal of Applied Research 3, n.º 7 (1 de outubro de 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, n.º 3 (15 de julho de 2016): 315–30. http://dx.doi.org/10.30935/scimath/9473.
Greenland, Sander. "Probability Logic and Probabilistic Induction". Epidemiology 9, n.º 3 (maio de 1998): 322–32. http://dx.doi.org/10.1097/00001648-199805000-00018.
Arieli, Itai, e Robert J. Aumann. "The logic of backward induction". Journal of Economic Theory 159 (setembro de 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, n.º 4 (dezembro de 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, n.º 5 (1989): 443–56. http://dx.doi.org/10.1002/malq.19890350511.
Athanassopoulos, Evangelos, e Michael Gr Voskoglou. "A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic". Mathematics 8, n.º 6 (1 de junho de 2020): 875. http://dx.doi.org/10.3390/math8060875.
Unver, H. M. "Control freaks [induction furnace logic controller]". Power Engineer 19, n.º 3 (2005): 36. http://dx.doi.org/10.1049/pe:20050307.
Tinkham, Nancy Lynn. "Schema induction for logic program synthesis". Artificial Intelligence 98, n.º 1-2 (janeiro de 1998): 1–47. http://dx.doi.org/10.1016/s0004-3702(97)00055-6.
Tiu, Alwen, e Alberto Momigliano. "Cut elimination for a logic with induction and co-induction". Journal of Applied Logic 10, n.º 4 (dezembro de 2012): 330–67. http://dx.doi.org/10.1016/j.jal.2012.07.007.
Wong, Man Leung, e Kwong Sak Leung. "Evolutionary Program Induction Directed by Logic Grammars". Evolutionary Computation 5, n.º 2 (junho de 1997): 143–80. http://dx.doi.org/10.1162/evco.1997.5.2.143.
Wilmers, George. "Bounded existential induction". Journal of Symbolic Logic 50, n.º 1 (março de 1985): 72–90. http://dx.doi.org/10.2307/2273790.
Dybjer, Peter, e Anton Setzer. "Induction–recursion and initial algebras". Annals of Pure and Applied Logic 124, n.º 1-3 (dezembro de 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, n.º 2 (fevereiro de 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, n.º 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, n.º VI (25 de junho de 2021): 2331–38. http://dx.doi.org/10.22214/ijraset.2021.35503.
Priest, Graham. "The Logic of Backwards Inductions". Economics and Philosophy 16, n.º 2 (outubro de 2000): 267–85. http://dx.doi.org/10.1017/s0266267100000250.
Simpson, Stephen G., e 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, n.º 1 (1994): 103–5. http://dx.doi.org/10.1002/malq.19940400114.
Jeřábek, Emil. "The strength of sharply bounded induction". MLQ 52, n.º 6 (dezembro de 2006): 613–24. http://dx.doi.org/10.1002/malq.200610019.
Schwichtenberg, Helmut. "Dialectica interpretation of well-founded induction". MLQ 54, n.º 3 (junho de 2008): 229–39. http://dx.doi.org/10.1002/malq.200710045.
Kelly, Kevin T. "Reichenbach, induction, and discovery". Erkenntnis 35, n.º 1-3 (julho de 1991): 123–49. http://dx.doi.org/10.1007/bf00388283.
Enayat, Ali, e Fedor Pakhomov. "Truth, disjunction, and induction". Archive for Mathematical Logic 58, n.º 5-6 (4 de fevereiro de 2019): 753–66. http://dx.doi.org/10.1007/s00153-018-0657-9.
Talaat, Hossam, Mohamed Ezzat e Ahmed Saleh. "Fuzzy Logic Based Induction Motor Condition Monitoring". International Conference on Electrical Engineering 9, n.º 9th (1 de maio de 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, n.º 4 (1 de outubro de 2001): 33–47. http://dx.doi.org/10.21608/erjm.2001.71131.
Gazda, Maciej, e Wan Fokkink. "Modal Logic and the Approximation Induction Principle". Electronic Proceedings in Theoretical Computer Science 8 (17 de novembro de 2009): 41–50. http://dx.doi.org/10.4204/eptcs.8.4.
Sabre, Ru Michael. "Semeiotic logic or, deduction, induction, and semeiotic". Semiotica 2018, n.º 222 (25 de abril de 2018): 81–85. http://dx.doi.org/10.1515/sem-2016-0164.
GAZDA, MACIEJ, e WAN FOKKINK. "Modal logic and the approximation induction principle". Mathematical Structures in Computer Science 22, n.º 2 (28 de fevereiro de 2012): 175–201. http://dx.doi.org/10.1017/s0960129511000387.
Lamma, Evelina, Paola Mello, Michela Milano e Fabrizio Riguzzi. "Integrating induction and abduction in logic programming". Information Sciences 116, n.º 1 (maio de 1999): 25–54. http://dx.doi.org/10.1016/s0020-0255(98)10092-0.
Uyar, Okan, e Mehmet Çunkaş. "Fuzzy logic-based induction motor protection system". Neural Computing and Applications 23, n.º 1 (11 de fevereiro de 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, n.º 2 (1 de fevereiro de 2002): 169–89. http://dx.doi.org/10.1007/s001530100105.
Ta, Quang-Trung, Ton Chanh Le, Siau-Cheng Khoo e Wei-Ngan Chin. "Automated mutual induction proof in separation logic". Formal Aspects of Computing 31, n.º 2 (11 de outubro de 2018): 207–30. http://dx.doi.org/10.1007/s00165-018-0471-5.
Cameron-Jones, R. Mike, e J. Ross Quinlan. "Efficient top-down induction of logic programs". ACM SIGART Bulletin 5, n.º 1 (janeiro de 1994): 33–42. http://dx.doi.org/10.1145/181668.181676.
DA COSTA, NEWTON C. A., e STEVEN FRENCH. "Pragmatic Truth and the Logic of Induction". British Journal for the Philosophy of Science 40, n.º 3 (1 de setembro de 1989): 333–56. http://dx.doi.org/10.1093/bjps/40.3.333.
Erdem, Esra, e Pierre Flener. "Completing open logic programs by constructive induction". International Journal of Intelligent Systems 14, n.º 10 (outubro de 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 e 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, n.º 2 (1 de dezembro de 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, n.º 2 (abril de 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, n.º 1 (dezembro de 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, n.º 7 (julho de 2018): 637–55. http://dx.doi.org/10.1016/j.apal.2018.03.002.
Adamowicz, Z., e C. Dimitracopoulos. "On A Problem Concerning Parameter Free Induction". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37, n.º 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, n.º 04 (3 de abril de 2020): 3676–83. http://dx.doi.org/10.1609/aaai.v34i04.5776.
Joshi, Girisha, e Pinto Pius A J. "ANFIS controller for vector control of three phase induction motor". Indonesian Journal of Electrical Engineering and Computer Science 19, n.º 3 (1 de setembro de 2020): 1177. http://dx.doi.org/10.11591/ijeecs.v19.i3.pp1177-1185.
Medsalem, Medyahya Ould, e Kazuyuki Tanaka. "Δ3O-determinacy, comprehension and induction". Journal of Symbolic Logic 72, n.º 2 (junho de 2007): 452–62. http://dx.doi.org/10.2178/jsl/1185803618.
Salmon, Wesley C. "Hans Reichenbach's vindication of induction". Erkenntnis 35, n.º 1-3 (julho de 1991): 99–122. http://dx.doi.org/10.1007/bf00388282.