Log in

Relevant bibliographies by topics / Introduction (Logic) / Journal articles

Journal articles on the topic 'Introduction (Logic)'

To see the other types of publications on this topic, follow the link: Introduction (Logic).

Author: Grafiati

Published: 25 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Introduction (Logic).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (January 25, 2012): 147–48. http://dx.doi.org/10.1017/s1471068411000676.

Full text

Abstract:

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).

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!