Bibliografias temáticas / Introduction (Logic) / Artigos de revistas

Artigos de revistas sobre o tema "Introduction (Logic)"

Siga este link para ver outros tipos de publicações sobre o tema: Introduction (Logic).
Autor: Grafiati
Publicado: 25 de julho de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Introduction (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.

1

Cooney, Gráinne. "Introduction to Logic". Philosophical Studies 31 (1986): 552–53. http://dx.doi.org/10.5840/philstudies1986/19873126.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Genesereth, Michael, e Eric Kao. "Introduction to Logic". Synthesis Lectures on Computer Science 4, n.º 1 (31 de janeiro de 2013): 1–165. http://dx.doi.org/10.2200/s00432ed1v01y201207csl005.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Steffen, Monika. "Comparative logic versus problem logic? An introduction". Journal of Comparative Policy Analysis: Research and Practice 7, n.º 4 (dezembro de 2005): 261–66. http://dx.doi.org/10.1080/13876980500327884.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Blevins, Jeffrey, e Daniel Williams. "Introduction". Poetics Today 41, n.º 1 (1 de março de 2020): 1–36. http://dx.doi.org/10.1215/03335372-7974058.

Texto completo da fonte
Resumo:
Although literature and logic share a number of surprising symmetries and historical contacts, they have typically been seen to occupy separate disciplinary spheres. Declaring a subfield in literary studies — logic and literature — this introduction outlines various connections between literary formalism and formal logic. It surveys historical interactions and reciprocal influences between literary and logical writers from antiquity through the twentieth century, and it examines how literary theory and criticism have been institutionally shadowed by a logical unconscious, from the New Criticism and (post)structuralism to recent debates about historicism and formalism. It further considers how the subfield of logic and literature, in its constitutive attention to form, is neatly positioned to cut across these debates, and it sketches ways of reading at the interface of aesthetics, philosophy of literature, and literary studies that might be energized by an appeal to logical contexts, ideas, and methods.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

King, Peter, e Alexander Broadie. "Introduction to Medieval Logic." Philosophical Review 99, n.º 2 (abril de 1990): 299. http://dx.doi.org/10.2307/2185506.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Ashworth, E. J., e Alexander Broadie. "Introduction to Medieval Logic." Philosophical Review 104, n.º 1 (janeiro de 1995): 120. http://dx.doi.org/10.2307/2186016.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Austin, Keith, e Elliott Mendelson. "Introduction to Mathematical Logic". Mathematical Gazette 71, n.º 458 (dezembro de 1987): 325. http://dx.doi.org/10.2307/3617078.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Clarke, P. A., e Alexander Broadie. "Introduction to Medieval Logic". Philosophical Quarterly 40, n.º 159 (abril de 1990): 264. http://dx.doi.org/10.2307/2219819.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Longeway, John. "Introduction to Medieval Logic". International Studies in Philosophy 22, n.º 3 (1990): 90–91. http://dx.doi.org/10.5840/intstudphil199022313.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Moorcroft, Francis. "An Introduction to Logic". Philosophers' Magazine, n.º 3 (1998): 50–51. http://dx.doi.org/10.5840/tpm1998352.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
11

Moorcroft, Francis. "An Introduction to Logic". Philosophers' Magazine, n.º 4 (1998): 50–51. http://dx.doi.org/10.5840/tpm1998418.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
12

Muzio e Rosenerg. "Introduction—Multiple-Valued Logic". IEEE Transactions on Computers C-35, n.º 2 (fevereiro de 1986): 97–98. http://dx.doi.org/10.1109/tc.1986.1676726.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
13

Japaridze, Giorgi. "Introduction to computability logic". Annals of Pure and Applied Logic 123, n.º 1-3 (outubro de 2003): 1–99. http://dx.doi.org/10.1016/s0168-0072(03)00023-x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
14

Blum, Alex. "An introduction to logic". Philosophia 18, n.º 2-3 (julho de 1988): 303–8. http://dx.doi.org/10.1007/bf02380087.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
15

Nievergelt, J. "Introduction to logic programming". Computer Compacts 4, n.º 5 (setembro de 1986): 174. http://dx.doi.org/10.1016/0167-7136(86)90018-1.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
16

Genesereth, Michael, e Vinay K. Chaudhri. "Introduction to Logic Programming". Synthesis Lectures on Artificial Intelligence and Machine Learning 14, n.º 1 (10 de fevereiro de 2020): 1–219. http://dx.doi.org/10.2200/s00966ed1v01y201911aim044.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
17

Moraga, Claudio. "Introduction to fuzzy logic". Facta universitatis - series: Electronics and Energetics 18, n.º 2 (2005): 319–28. http://dx.doi.org/10.2298/fuee0502319m.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
18

d’Agostini, Franca, Elena Ficara e Fabien Schang. "Introduction. Logic and Politics". History and Philosophy of Logic 45, n.º 1 (2 de janeiro de 2024): 1–3. http://dx.doi.org/10.1080/01445340.2023.2283301.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
19

Blackburn, Patrick, e Maarten de Rijke. "Editors' Introduction". Notre Dame Journal of Formal Logic 37, n.º 2 (abril de 1996): 161–66. http://dx.doi.org/10.1305/ndjfl/1040046084.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
20

Clote, Peter. "Editor's Introduction". Notre Dame Journal of Formal Logic 36, n.º 4 (outubro de 1995): 499–501. http://dx.doi.org/10.1305/ndjfl/1040136910.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
21

Adler, Jonathan E., e Leigh S. Cauman. "First-Order Logic: An Introduction". Journal of Philosophy 97, n.º 10 (outubro de 2000): 577. http://dx.doi.org/10.2307/2678469.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
22

LINDSTRöM, PER. "Provability logic-a short introduction". Theoria 62, n.º 1-2 (11 de fevereiro de 2008): 19–61. http://dx.doi.org/10.1111/j.1755-2567.1996.tb00529.x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
23

Ellerman, D. "An introduction to partition logic". Logic Journal of IGPL 22, n.º 1 (3 de setembro de 2013): 94–125. http://dx.doi.org/10.1093/jigpal/jzt036.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
24

McFETRIDGE, I. G. "An Introduction to Philosophical Logic". Philosophical Books 24, n.º 3 (12 de fevereiro de 2009): 164–65. http://dx.doi.org/10.1111/j.1468-0149.1983.tb00223.x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
25

Petrescu, Ionel, Ionel-Bujorel Păvăloiu e George Drăgoi. "Digital Logic Introduction Using FPGAs". Procedia - Social and Behavioral Sciences 180 (maio de 2015): 1507–13. http://dx.doi.org/10.1016/j.sbspro.2015.02.299.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
26

Girard, Jean-Yves. "Introduction to ?2 1 -logic". Synthese 62, n.º 2 (fevereiro de 1985): 191–216. http://dx.doi.org/10.1007/bf00486046.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
27

van Ditmarsch, Hans, Rohit Parikh e R. Ramanujam. "Logic in India—Editorial Introduction". Journal of Philosophical Logic 40, n.º 5 (2 de setembro de 2011): 557–61. http://dx.doi.org/10.1007/s10992-011-9213-3.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
28

Harris, M. S. "Introduction to digital logic design". Microelectronics Journal 25, n.º 5 (agosto de 1994): 403–4. http://dx.doi.org/10.1016/0026-2692(94)90092-2.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
29

Genesereth, Michael, e Eric Kao. "Introduction to Logic, Second Edition". Synthesis Lectures on Computer Science 4, n.º 2 (15 de agosto de 2013): 1–163. http://dx.doi.org/10.2200/s00518ed2v01y201306csl006.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
30

Genesereth, Michael, e Eric J. Kao. "Introduction to Logic, Third Edition". Synthesis Lectures on Computer Science 5, n.º 1 (7 de novembro de 2016): 1–177. http://dx.doi.org/10.2200/s00734ed2v01y201609csl008.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
31

Lehmann, S. K. "An Introduction to Philosophical Logic". Teaching Philosophy 8, n.º 1 (1985): 87–89. http://dx.doi.org/10.5840/teachphil19858128.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
32

Gray, John. "Introduction to Programmable Logic Controllers". Electronics Education 1997, n.º 2 (1997): 39. http://dx.doi.org/10.1049/ee.1997.0050.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
33

Cook, Roy. "Logic: A Very Short Introduction". History and Philosophy of Logic 40, n.º 2 (15 de janeiro de 2019): 204–5. http://dx.doi.org/10.1080/01445340.2019.1565385.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
34

Archambault, Jacob. "Introduction: Consequences in Medieval Logic". Vivarium 56, n.º 3-4 (15 de outubro de 2018): 201–21. http://dx.doi.org/10.1163/15685349-12341361.

Texto completo da fonte
Resumo:
Abstract This paper summarizes medieval definitions and divisions of consequences and explains the import of the medieval development of the theory of consequence for logic today. It then introduces the various contributions to this special issue of Vivarium on consequences in medieval logic.
Estilos ABNT, Harvard, Vancouver, APA, etc.
35

Ghosh, Sujata, e R. Ramanujam. "Logic and social interaction: introduction". Synthese 177, S1 (11 de agosto de 2010): 1–3. http://dx.doi.org/10.1007/s11229-010-9769-4.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
36

Milovanovic, Dragan. "Introduction: Propositional logic and decisions". International Journal for the Semiotics of Law 11, n.º 1 (1998): 57–58. http://dx.doi.org/10.1007/bf01101265.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
37

Ågotnes, Thomas. "Logic and Games: an Introduction". Studia Logica 102, n.º 2 (27 de fevereiro de 2014): 231–34. http://dx.doi.org/10.1007/s11225-014-9542-7.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
38

FABER, WOLFGANG, e NICOLA LEONE. "Introduction to the special issue on the 25th annual GULP conference". Theory and Practice of Logic Programming 13, n.º 2 (25 de janeiro de 2012): 147–48. http://dx.doi.org/10.1017/s1471068411000676.

Texto completo da fonte
Resumo:
This special issue of TPLP commemorates the 25th edition of the annual conference organized by GULP (Gruppo Ricercatori e Utenti Logic Programming), the Italian group of researchers and users of logic programming. The first event in this series was held at Genoa in 1986, one year after the foundation of the user group, continuing annually ever since. In 1994, the conference joined forces with the Spanish conference PRODE (on Declarative Programming), and in 1996 with the Portuguese APPIA (on Artificial Intelligence). This collaboration continued until 2003. Starting from 2004, the event became known as CILC (Convegno Italiano di Logica Computazionale, Italian Conference on Computational Logic), thereby broadening its topics to general computational logic, while becoming a national Italian event again. Being one of the oldest and largest national events of its kind, over the years the conference has been an important networking opportunity and catalyst for persons with different backgrounds, coming from theory and practice, and from research and industry, for exchanging their visions, achievements, and challenges in logic programming. For a more detailed historical account on GULP and its annual conferences, we refer to Rossi (2010).
Estilos ABNT, Harvard, Vancouver, APA, etc.
39

Isaac, Alistair M. C. "Introduction". Erkenntnis 79, S4 (9 de março de 2013): 671–72. http://dx.doi.org/10.1007/s10670-013-9461-4.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
40

Kusch, Martin, Herlinde Pauer-Studer e Hans Bernhard Schmid. "Introduction". Erkenntnis 79, S9 (23 de abril de 2014): 1563. http://dx.doi.org/10.1007/s10670-014-9628-7.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
41

Fisher, Michael. "An introduction to executable temporal logics". Knowledge Engineering Review 11, n.º 1 (março de 1996): 43–56. http://dx.doi.org/10.1017/s0269888900007670.

Texto completo da fonte
Resumo:
In recent years a number of programming languages based upon the direct execution of temporal logic formulae have been developed. The use of such logics provides a powerful basis for the representation and implementation of a range of dynamic behaviours. Though many of these languages are still experimental, they are beginning to be applied, not only in computer science and AI, but also in less obvious areas such as user interfaces, process control and social modelling. This article provides an introduction to some of the basic concepts of executable temporal logics, together with an overview of the main approaches being pursued.
Estilos ABNT, Harvard, Vancouver, APA, etc.
42

Webber, Jeffery R. "Introduction". Historical Materialism 27, n.º 3 (24 de outubro de 2019): 77–82. http://dx.doi.org/10.1163/1569206x-12341800.

Texto completo da fonte
Resumo:
Abstract This introduction situates the work of Zavaleta in the field of Bolivian intellectual history, Latin American Studies, and Latin American Marxism. It also explains the objectives of the symposium and the logic underlying its constituent parts.
Estilos ABNT, Harvard, Vancouver, APA, etc.
43

Dietrich, René. "Introduction: Settler Colonial Biopolitics and Indigenous Lifeways". American Indian Culture and Research Journal 42, n.º 2 (1 de janeiro de 2018): 1–10. http://dx.doi.org/10.17953/aicrj.42.2.dietrich-a.

Texto completo da fonte
Resumo:
This special issue of the American Indian Culture and Research Journal offers a discussion of settler-colonial biopolitics as it targets Indigenous life across a range of transnationally related, yet distinct, sites of colonial settlement. Moving across these sites, it examines how settler colonial regimes at different locations and at different positions within an economically hierarchized globality employ forms of biopolitics in historically specific ways to their own ends. At the same time, this special issue explores Indigenous life in its manifold manifestations as a site of resurgence, decolonial resistance, and enduring continuity that exceeds any attempt at biopolitical control. The contributions to this special issue thus engage scholarly conversations in critical Indigenous and settler colonial studies that connect a biopolitical logic of racialization, regularization, and naturalization to a geopolitical logic of dispossession and removal as inherent to the eliminatory logics of settler colonialism.
Estilos ABNT, Harvard, Vancouver, APA, etc.
44

Cockett, J. R. B., e P. J. W. Hofstra. "Introduction to Turing categories". Annals of Pure and Applied Logic 156, n.º 2-3 (dezembro de 2008): 183–209. http://dx.doi.org/10.1016/j.apal.2008.04.005.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
45

Crivelli, Paolo, Timothy Williamson, G. E. Hughes e M. J. Cresswell. "A New Introduction to Modal Logic." Philosophical Review 107, n.º 3 (julho de 1998): 471. http://dx.doi.org/10.2307/2998453.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
46

Weirich, Paul. "Epistemic Game Theory and Logic: Introduction". Games 8, n.º 2 (31 de março de 2017): 19. http://dx.doi.org/10.3390/g8020019.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
47

Schwichtenberg, Helmut, e Grigori Mints. "A Short Introduction to Intuitionistic Logic". Bulletin of Symbolic Logic 8, n.º 4 (dezembro de 2002): 520. http://dx.doi.org/10.2307/797956.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
48

Bell, J. L., J. Lambek e P. J. Scott. "Introduction to Higher Order Categorical Logic." Journal of Symbolic Logic 54, n.º 3 (setembro de 1989): 1113. http://dx.doi.org/10.2307/2274784.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
49

Sawyer, Mark D. "Invited commentary: Fuzzy logic— an introduction". Surgery 127, n.º 3 (março de 2000): 254–56. http://dx.doi.org/10.1067/msy.2000.104297.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
50

Rota, Gian-Carlo. "Introduction to higher order categorical logic". Advances in Mathematics 67, n.º 2 (fevereiro de 1988): 239. http://dx.doi.org/10.1016/0001-8708(88)90045-x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Você também pode estar interessado em listas de outros tipos de fontes sobre o assunto "Introduction (Logic)":
Livros
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia