Artykuły w czasopismach na temat „Introduction (Logic)”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Introduction (Logic).

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Introduction (Logic)”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
11

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
12

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
13

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
14

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
15

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
16

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
17

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
18

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
19

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
20

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
21

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
22

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
23

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
24

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
25

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
26

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
27

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
28

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
29

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
30

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
31

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
32

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
33

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
34

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
35

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
36

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
37

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
38

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

Pełny tekst źródła
Streszczenie:
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).
Style APA, Harvard, Vancouver, ISO itp.
39

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
40

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
41

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
42

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
43

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
44

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
46

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
47

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
48

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
49

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
50

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii