Articles de revues sur le sujet « Introduction (Logic) »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Introduction (Logic).

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Introduction (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.

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles 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 (décembre 2005) : 261–66. http://dx.doi.org/10.1080/13876980500327884.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Austin, Keith, et Elliott Mendelson. « Introduction to Mathematical Logic ». Mathematical Gazette 71, no 458 (décembre 1987) : 325. http://dx.doi.org/10.2307/3617078.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
12

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
13

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
14

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
15

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
16

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

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
18

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
19

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
20

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
21

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
22

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
23

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
24

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
25

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
26

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
27

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
28

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
29

Genesereth, Michael, et Eric Kao. « Introduction to Logic, Second Edition ». Synthesis Lectures on Computer Science 4, no 2 (15 août 2013) : 1–163. http://dx.doi.org/10.2200/s00518ed2v01y201306csl006.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
30

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

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
33

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
34

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
35

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

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
37

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
38

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

Texte intégral
Résumé :
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).
Styles APA, Harvard, Vancouver, ISO, etc.
39

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
40

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
41

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
42

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
43

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
44

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
45

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
46

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
47

Schwichtenberg, Helmut, et Grigori Mints. « A Short Introduction to Intuitionistic Logic ». Bulletin of Symbolic Logic 8, no 4 (décembre 2002) : 520. http://dx.doi.org/10.2307/797956.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
48

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
49

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
50

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie