Siga este enlace para ver otros tipos de publicaciones sobre el tema: Introduction (Logic).

Artículos de revistas sobre el tema "Introduction (Logic)"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Introduction (Logic)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Genesereth, Michael, and Eric Kao. "Introduction to Logic." Synthesis Lectures on Computer Science 4, no. 1 (2013): 1–165. http://dx.doi.org/10.2200/s00432ed1v01y201207csl005.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Blevins, Jeffrey, and Daniel Williams. "Introduction." Poetics Today 41, no. 1 (2020): 1–36. http://dx.doi.org/10.1215/03335372-7974058.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

King, Peter, and Alexander Broadie. "Introduction to Medieval Logic." Philosophical Review 99, no. 2 (1990): 299. http://dx.doi.org/10.2307/2185506.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Austin, Keith, and Elliott Mendelson. "Introduction to Mathematical Logic." Mathematical Gazette 71, no. 458 (1987): 325. http://dx.doi.org/10.2307/3617078.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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

Texto completo
Resumen
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).
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Weirich, Paul. "Epistemic Game Theory and Logic: Introduction." Games 8, no. 2 (2017): 19. http://dx.doi.org/10.3390/g8020019.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía