Relevant bibliographies by topics / Introduction (Logic) / Journal articles
To see the other types of publications on this topic, follow the link: Introduction (Logic).

Journal articles on the topic '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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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!

To the bibliography