Articoli di riviste sul tema "Introduction (Logic)"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Introduction (Logic).

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Introduction (Logic)".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
11

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
12

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
13

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
14

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
15

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
16

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
18

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
19

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
20

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
21

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
22

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
23

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
24

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
25

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
26

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
27

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
28

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
29

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
30

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
31

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
32

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
33

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
34

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
35

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
37

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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 gennaio 2012): 147–48. http://dx.doi.org/10.1017/s1471068411000676.

Testo completo
Abstract (sommario):
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).
Gli stili APA, Harvard, Vancouver, ISO e altri
39

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
40

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
41

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
42

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
43

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
44

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
45

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
46

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
47

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
48

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
49

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
50

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia