Relevant bibliographies by topics / Logic of the work

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logic of the work'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic of the work.'

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.

Journal articles on the topic "Logic of the work"

1

Dahlmann, Frederik, and Johanne Grosvold. "Environmental Managers and Institutional Work: Reconciling Tensions of Competing Institutional Logics." Business Ethics Quarterly 27, no. 2 (February 27, 2017): 263–91. http://dx.doi.org/10.1017/beq.2016.65.

Full text
Abstract:
ABSTRACT:Firms face a variety of institutional logics and one important question is how individuals within firms manage these logics. Environmental managers in particular face tensions in reconciling their firms’ commercial fortunes with demands for greater environmental responsiveness. We explore how institutional work enables environmental managers to respond to competing institutional logics. Drawing on repeated interviews with 55 firms, we find that environmental managers face competition between a market-based logic and an emerging environmental logic. We show that some environmental managers embed the environmental logic alongside the market logic through variations of creation and disruption, thus over time creating institutional change, which can result in blended logics. Others, however, pursue a strategy of status quo or disengagement through maintenance or other forms of disruption, where the two logics coexist in principle but not in practice; instead the market logic retains its dominance. We discuss the implications of our findings for research.
APA, Harvard, Vancouver, ISO, and other styles
2

ten Dam, Eline M., and Maikel Waardenburg. "Logic fluidity: How frontline professionals use institutional logics in their day-to-day work." Journal of Professions and Organization 7, no. 2 (July 1, 2020): 188–204. http://dx.doi.org/10.1093/jpo/joaa012.

Full text
Abstract:
Abstract This article aims to gain a better understanding on micro processes of how frontline professionals use institutional logics in their day-to-day work. It contributes to the growing literature on the dynamics between institutions and the professional frontline. To further develop this field of study, a conceptual framework is presented that integrates institutional logics, vocabularies of practice, and narratives as central concepts. By adopting a composite narrative approach and identifying vocabularies of practice, the article interprets how frontline professionals make use of different logics to make sense of a new principle introduced in their professional field. Findings are based on a case study of professional patient collaboration in healthcare. The article composes five narratives that act as vehicles through which healthcare professionals use five logics: a medical professional logic, managerial logic, commercial logic, consultation logic, and patient-centeredness logic. It argues that frontline professionals use vocabularies of practice to assemble narratives that help them to navigate between a plurality of logics. It further shows that professionals move fluently from one narrative to another, critiquing the ideas of adherence to a dominant logic and conflict solving. The article finalizes with a discussion that advocates for a process studies perspective and a stronger focus on micro processes in research on professional performance in the context of institutional plurality.
APA, Harvard, Vancouver, ISO, and other styles
3

Kaluža, Jernej. "The pleasure of work and the work of pleasure: Interview with Giulia Palladini." Maska 34, no. 198 (December 1, 2019): 125–28. http://dx.doi.org/10.1386/maska.34.198-199.125_7.

Full text
Abstract:
Abstract Jernej Kaluža interviewed the researcher and critical theoretician Giullia Palladini, author of The Scene of Foreplay, 2017. They talk about the difference between theory and practice; the pleasure of (art)work; self-exploitation, the exemplarity of a specific type of work in the arts; a type of work capable of escaping the logic of climax; quality and value; competition logics and its surpassing; and other topics.
APA, Harvard, Vancouver, ISO, and other styles
4

Keyes, Robert W. "Making light work of logic." Nature 340, no. 6228 (July 1989): 19. http://dx.doi.org/10.1038/340019a0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jago, M. "Recent Work in Relevant Logic." Analysis 73, no. 3 (July 1, 2013): 526–41. http://dx.doi.org/10.1093/analys/ant043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Riley, Dylan. "The Historical Logic of Logics of History." Social Science History 32, no. 4 (2008): 555–65. http://dx.doi.org/10.1017/s014555320001083x.

Full text
Abstract:
How does the logic of language combine with the logic of labor to explain historical change? This article suggests that William H. Sewell Jr.'s work can be divided into three periods, each characterized by a different answer to this question. In the work of the early cultural turn, labor and language codetermine historical change; in that of the high cultural turn, the logic of language becomes dominant; and in that of the postcultural turn, labor returns to a more central position. The article argues that these shifts result from tensions in Sewell's account of historical change and suggests a comparison with Jürgen Habermas's account of work and interaction.
APA, Harvard, Vancouver, ISO, and other styles
7

FAN, JIE, YANJING WANG, and HANS VAN DITMARSCH. "CONTINGENCY AND KNOWING WHETHER." Review of Symbolic Logic 8, no. 1 (January 9, 2015): 75–107. http://dx.doi.org/10.1017/s1755020314000343.

Full text
Abstract:
AbstractA proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator Δ but without the necessity operator □. This logic is not a normal modal logic, because Δ(φ → ψ) → (Δφ → Δψ) is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap.
APA, Harvard, Vancouver, ISO, and other styles
8

Beklemishev, Lev, and Tommaso Flaminio. "Franco Montagna’s Work on Provability Logic and Many-valued Logic." Studia Logica 104, no. 1 (January 25, 2016): 1–46. http://dx.doi.org/10.1007/s11225-016-9654-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Berni, Alessia, Mariavittoria Cicellin, Stefano Consiglio, and Luigi Moschera. "Evolution of Institutional Logics: The Emergence of the Temporary Work Agencies Field in Italy." International Journal of Business and Management 12, no. 8 (July 18, 2017): 131. http://dx.doi.org/10.5539/ijbm.v12n8p131.

Full text
Abstract:
This article shows the process of creation and evolution of an organizational field. By an in-depth longitudinal analysis, we investigate the field of Temporary Work Agencies in Italy (TWAs). The article focuses on how a field evolves over time. We delineate three phases of evolution - incubation, emergence and development - and we analyse events and the role of actors that have characterized them. Further, we identify the institutional logics that have strongly influenced the strategic and organizational behaviour of the actors involved in the Italian field of TWAs and their interactions. Therefore, to respond to this institutional complexity the actors have tried to influence with both individual and collective actions the logics themselves. The analysis shows that two competing logics have coexisted within the TWA field: the regulation logic, inspired by the social status and welfare, and the de-regulation logic, connected to the liberal and free-market model. Through the longitudinal analysis repeated in four different field studies, we have reconstructed the process of evolution of the field, describing the links between the different phases. Our research contributes to the institutional logic perspective fitting into the discussion on the coexistence of competing logics in an organizational field.
APA, Harvard, Vancouver, ISO, and other styles
10

Raftery, James G. "Willem Blok's Work in Algebraic Logic." Studia Logica 76, no. 2 (March 2004): 155–60. http://dx.doi.org/10.1023/b:stud.0000032083.45504.62.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logic of the work"

1

Kelan, Elisabeth Kristina. "Binary logic? : doing gender in information communication technology work." Thesis, London School of Economics and Political Science (University of London), 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.429370.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dutra, Ines de Castro. "Distributing and- and or-work in the Andorra-I parallel logic programming system." Thesis, University of Bristol, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.260853.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Walsh, Alison. "Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce." Thesis, Middlesex University, 1999. http://eprints.mdx.ac.uk/6432/.

Full text
Abstract:
Charles Peirce (1839-1914) was one of the most important logicians of the nineteenth century. This thesis traces the development of his algebraic logic from his early papers, with especial attention paid to the mathematical aspects. There are three main sources to consider. 1) Benjamin Peirce (1809-1880), Charles's father and also a leading American mathematician of his day, was an inspiration. His memoir Linear Associative Algebra (1870) is summarised and for the first time the algebraic structures behind its 169 algebras are analysed in depth. 2) Peirce's early papers on algebraic logic from the late 1860s were largely an attempt to expand and adapt George Boole's calculus, using a part/whole theory of classes and algebraic analogies concerning symbols, operations and equations to produce a method of deducing consequences from premises. 3) One of Peirce's main achievements was his work on the theory of relations, following in the pioneering footsteps of Augustus De Morgan. By linking the theory of relations to his post-Boolean algebraic logic, he solved many of the limitations that beset Boole's calculus. Peirce's seminal paper 'Description of a Notation for the Logic of Relatives' (1870) is analysed in detail, with a new interpretation suggested for his mysterious process of logical differentiation. Charles Peirce's later work up to the mid 1880s is then surveyed, both for its extended algebraic character and for its novel theory of quantification. The contributions of two of his students at the Johns Hopkins University, Oscar Mitchell and Christine Ladd-Franklin are traced, specifically with an analysis of their problem solving methods. The work of Peirce's successor Ernst Schröder is also reviewed, contrasting the differences and similarities between their logics. During the 1890s and later, Charles Peirce turned to a diagrammatic representation and extension of his algebraic logic. The basic concepts of this topological twist are introduced. Although Peirce's work in logic has been studied by previous scholars, this thesis stresses to a new extent the mathematical aspects of his logic - in particular the algebraic background and methods, not only of Peirce but also of several of his contemporaries.
APA, Harvard, Vancouver, ISO, and other styles
4

IJsselmuiden, Joris [Verfasser], and R. [Akademischer Betreuer] Stiefelhagen. "Interaction Analysis in Smart Work Environments through Fuzzy Temporal Logic / Joris IJsselmuiden. Betreuer: R. Stiefelhagen." Karlsruhe : KIT-Bibliothek, 2014. http://d-nb.info/1058165275/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Russell-Morris, Brianne. "The logic of welfare reform an analysis of the reauthorization of the Personal Responsibility and Work Opportunity Reconciliation Act of 1996 /." Fairfax, VA : George Mason University, 2009. http://hdl.handle.net/1920/4533.

Full text
Abstract:
Thesis (M.A.)--George Mason University, 2009.
Vita: p. 110. Thesis director: Nancy Weiss Hanrahan. Submitted in partial fulfillment of the requirements for the degree of Master of Arts in Interdisciplinary Studies. Title from PDF t.p. (viewed June 10, 2009). Includes bibliographical references (p. 97-109). Also issued in print.
APA, Harvard, Vancouver, ISO, and other styles
6

Karakaya, Selami Tansel. "Coastal Scenic Assesment Using Fuzzy Logic Approach." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605661/index.pdf.

Full text
Abstract:
This thesis analyzes the coastal landscape evaluation that is strongly rooted in the man-environment tradition. Scenery is a natural resource and managers need to attempt the evaluation of scenic resources in an objective and quantitative way that can be utilized mainly in landscape preservation and protection. The thesis will try to find an objective way in evaluation of the coastal scenery by using fuzzy logic mathematics and public perception studies. Using mathematical model developed within the frame work of the present study the selected 22 sites in Turkey were evaluated and then classified.
APA, Harvard, Vancouver, ISO, and other styles
7

Panichelli, Meg Rose. "The Intersections of Good Intentions, Criminality, and Anti-Carceral Feminist Logic: a Qualitative Study that Explores Sex Trades Content in Social Work Education." PDXScholar, 2018. https://pdxscholar.library.pdx.edu/open_access_etds/4512.

Full text
Abstract:
This study uses anti-carceral feminist logic to explore the cultural meanings, criminal implications, and neoliberal influence that shape the landscape of social work education about the sex trades in the United States and transnationally. "What are social work instructors teaching students about the sex trades in coursework?" is the question that directs the study, which uses a feminist qualitative methodology inclusive of intersectional feminist epistemology as well as direct content analysis. To answer this question, I analyzed 20 social work course syllabi from sex trade related courses across the contiguous United States and interviewed 20 social work instructors from 14 different states. Study findings show that course content represents people in the sex trades primarily as victimized cisgender women and girls with a significant focus on sex trafficking, especially within the Global South. While there is some course content that portrays sex trade workers as having complex and autonomous experiences, this material is limited to courses that have "sex" or "sexuality" in the title (i.e. "sex trafficking" or "sexuality and social work" courses). Furthermore, course content that represents the intersectional experiences and impact of systemic violence encountered by trans women of color and LGBTQ+ people is underrepresented in the sample--confined to two course syllabi and visibly absent from remaining syllabi. The sample indicates the prevalence of carceral approaches to the sex trades with an unexamined and racially-biased emphasis upon rescue and/or incarceration. This project provides significant implications for social work education about the necessity of an anti-carceral feminist, intersectional, and consequently, an anti-oppressive approach to teaching about the sex trades.
APA, Harvard, Vancouver, ISO, and other styles
8

Chong, Jan Ning. "Knowledge sharing and work practice /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Parsland, Ellen. "Med logik som styrmedel. : En studie om aktiveringspolitiska förändringar i socialpolitiken." Thesis, Linnéuniversitetet, Institutionen för socialt arbete (SA), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-70894.

Full text
Abstract:
The purpose of the study was to analyse legislative changes in the Social Services Act and thereby understand what institutional logic governs the change in social policy regarding the activation of unemployed recipients during the period 2012-2016. In order to meet the purpose of the study, two of the Social Services Act's legislative changes and their preliminary work has been analysed. The text analysis has been conducted with inspiration from Carol Bacchi's (2009) method "What is the problem represented to be?". The empirical material has been analysed with neo-institutional theoretical concepts, focusing on Friedland & Alfords (1991) theory regarding institutional logic and the knowledge claims that exists within them. The results of the study indicated that the institutional logics which governs the change in social policy regarding the activation of unemployed recipients is an institutional logic of activation policy. The institutional logic of activation policy implies clear government control in terms of the social services mission towards unemployed recipients; that only the unemployed recipients who are active in the labour market and take active responsibility for their situation are entitled to social security benefits. This can be further elucidated by a description of how the goal of activation policy is to create the ideal citizen of society which is an autonomous citizen who is active and independent towards the welfare state. In this way, the activation policy logic has entailed a change in social policy, partly in regard to the social services mission with unemployed recipients and partly regarding those who receive economic social security benefits due to unemployment.
APA, Harvard, Vancouver, ISO, and other styles
10

Pradic, Pierre. "Some proof-theoretical approaches to Monadic Second-Order logic." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN028.

Full text
Abstract:
Cette thèse traite de certains aspects de la logique Monadique du Second Ordre sur les mots infinis (MSO) à travers le prisme de la théorie de la démonstration.Elle contient deux parties distinctes.La première étudie des variantes intuitionistes de MSO avec de fortes propriétés du témoin qui permettent d’extraire des fonctions synchrones à partir de dérivations formelles.Un sous-système constructif avec la propriété du témoin est défini et est prouvé correct et complet pour la synthèse de Church. Pour ce faire, la correspondance entre formules de MSO et automates est raffinée pour donner une sémantique du système constructif où les preuves correspondent à une notion de simulation entre automates non-déterministes. Cette notion est étendue aux automates alternants. Cela mène à un sous-système de MSO plus fin basé sur la logique linéaire. Un théorème de complétude plus fort est montré pour ce dernier reposant sur la détermination des jeux ω-réguliers et une interprétation des formules similaire à la traduction Dialectica de Gödel.La seconde partie s’intéresse à la force axiomatique du théorème de décidabilité de MSO sur les mots infinis et autres résultats afférents de théorie des automates sur les mots infinis dans le cadre des mathématiques à rebours.On montre entre autres une équivalence entre la décidabilité de MSO, la version additive du théorème de Ramsey pour les paires et le principe de récurrence pour les formules Σ⁰₂ dans la théorie RCA₀. On conclut cette partie avec quelques résultats préliminaires concernant la décidabilité de MSO sur les rationnels, qui établissent que des axiomes strictement plus forts sont nécessaires dans ce cas
This thesis studies certain aspects of Monadic Second-Order logic over infinitewords (MSO) through the lens of proof-theory. It is split into two independentparts.The first parts studies intuitionistic variants of MSO with strong witnessing properties allowing the extraction of synchronous functions from formal proof derivations.A constructive system with a suitable witnessing property is defined and proven correct and complete with respect to Church’s synthesis. To this end, the usual correspondence between MSO formulas and automata is refined to give a semantics of the constructive subsystem where proofs are correspond to simulations between non-deterministic automata. This notion is extended toalternating automata. This leads to a finer-grained system based on linear logicand MSO, which is then approached similarly. A stronger completeness theoremis shown for this latter system; the proof requires the determination of ω-regular games and an interpretation of linear formulas reminiscent of Gödel’sDialectica.The second part of this thesis is concerned with the axiomatic strength of the decidability theorem for MSO over infinite words and related results on infinite word automata. We proveamong other things an equivalence between the decidability of MSO, the additive version ofRamsey’s theorem for pairs and the principle of Σ⁰₂-induction over the weak artithmetical theoryRCA₀. We conclude this part by collecting a few results concerning the decidability of MSO overrationals, showing that axioms beyond Σ⁰₂-induction are necessary in that case
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logic of the work"

1

The logic of evangelism. Grand Rapids, Mich: W.B. Eerdmans, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

The logic of evangelism. London: Hodder & Stoughton, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hawkins, Frances Pockman. The logic of action: Young children at work. 3rd ed. [Boulder]: Colorado Associated University Press, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hawkins, Frances Pockman. The logic of action: Young children at work. New York: Pantheon Books, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ghita, Holmström-Hintikka, Lindström Sten 1945-, and Śliwiński Rysiek, eds. Collected papers of Stig Kanger with essays on his life and work. Dordrecht: Kluwer Academic Publishers, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Daniel, Becky. Logic brain boosters. Carthage, IL: Good Apple, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kant, Immanuel. Logic. New York: Dover, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Anellis, Irving H. Van Heijenoort: Logic and its history in the work and writings of Jean van Heijencort. Ames, IA: Modern Logic Pub., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

(Jan), Leeuwen J. van, ed. The selected works of A.M. Turing: His work and impact. Waltham, MA: Elsevier, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Seabrook, Jane. Purry logic. Berkeley, Calif: Ten Speed Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logic of the work"

1

Cohen, Robert S. "Logic." In Zygmunt Zawirski: His Life and Work, 112–68. Dordrecht: Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-011-0768-6_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Waterworth, G. "Combinational Logic Circuits." In Work Out Electronics, 217–39. London: Macmillan Education UK, 1988. http://dx.doi.org/10.1007/978-1-349-10008-8_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Waterworth, G. "Sequential Logic Circuits." In Work Out Electronics, 240–53. London: Macmillan Education UK, 1988. http://dx.doi.org/10.1007/978-1-349-10008-8_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gabbay, Dov M., and Nicola Olivetti. "Conclusions and Further Work." In Applied Logic Series, 249–54. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-017-1713-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bunge, Mario. "Does Inductive Logic Work?" In Evaluating Philosophies, 115–18. Dordrecht: Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-4408-0_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Randolph, Karen A. "Logic Models." In The Handbook of Social Work Research Methods, 547–62. 1 Oliver's Yard, 55 City Road London EC1Y 1SP: SAGE Publications, Inc., 2010. http://dx.doi.org/10.4135/9781544364902.n31.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Cortadella, J., M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. "Other Work." In Logic Synthesis for Asynchronous Controllers and Interfaces, 245–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-642-55989-1_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Surma, Stanisław J. "The Logical Work of Mordchaj Wajsberg." In Initiatives in Logic, 101–15. Dordrecht: Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3673-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Indrzejczak, Andrzej. "Stanisław Jaśkowski: Life and Work." In Studies in Universal Logic, 457–64. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-65430-0_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lin, Pey-Chang Kent, and Sunil P. Khatri. "Summary and Future Work." In Logic Synthesis for Genetic Diseases, 93–95. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-9429-4_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic of the work"

1

Dutra, I. D. C. "Distributing AND-work and OR-work in parallel logic programming systems." In Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences. IEEE, 1996. http://dx.doi.org/10.1109/hicss.1996.495516.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Auer, D. A. "Fuzzy Logic at Work in Real Products." In IEEE International Conference on Consumer Electronics. IEEE, 1994. http://dx.doi.org/10.1109/icce.1994.582231.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Plotkin, Gordon D., and John Power. "Logic for Computational Effects: work in progress." In 6th International Workshop on Formal Methods. BCS Learning & Development, 2003. http://dx.doi.org/10.14236/ewic/iwfm2003.3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wainer, Jacques. "Logic representation of processes in work activity coordination." In the 2000 ACM symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/335603.335745.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Xiaodong Wang, Lei Guo, and Jun Fang. "Automated Ontology Selection Based on Description Logic." In 2008 12th International Conference on Computer Supported Cooperative Work in Design. IEEE, 2008. http://dx.doi.org/10.1109/cscwd.2008.4537026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Das, Ankush, Jan Hoffmann, and Frank Pfenning. "Work Analysis with Resource-Aware Session Types." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Li, Wenqian, Hanwu Chen, and Zhiqiang Li. "Application of Semi-Template in Reversible Logic Circuit." In 2007 11th International Conference on Computer Supported Cooperative Work in Design. IEEE, 2007. http://dx.doi.org/10.1109/cscwd.2007.4281457.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Yi Duan and Huadong Ma. "Modeling flexible workflow based on temporal logic." In Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design. IEEE, 2005. http://dx.doi.org/10.1109/cscwd.2005.194224.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Feng, Zhilin, Jianwei Yin, and Zhaoyang He. "Research of Workflow Modeling Based on Concurrent Transaction Logic." In 2006 10th International Conference on Computer Supported Cooperative Work in Design. IEEE, 2006. http://dx.doi.org/10.1109/cscwd.2006.253181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Benevides, Mario Folhadela, and Isaque Macalam Saab Lima. "Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wbl.2020.11455.

Full text
Abstract:
This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logic of the work"

1

Panichelli, Meg. The Intersections of Good Intentions, Criminality, and Anti-Carceral Feminist Logic: A Qualitative Study that Explores Sex Trades Content in Social Work Education. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6396.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nguyen, Loc. Logic design using programmable logic devices. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5987.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Garg, Deepak, and Michael C. Tschantz. From Indexed Lax Logic to Intuitionistic Logic. Fort Belvoir, VA: Defense Technical Information Center, January 2008. http://dx.doi.org/10.21236/ada476728.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tailor, Sanjay. Fuzzy Logic. Fort Belvoir, VA: Defense Technical Information Center, May 1996. http://dx.doi.org/10.21236/ada310470.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Karri, Ramesh, Ozgur Sinanoglu, and Jeyavihayan Rajendran. Logic Encryption. Fort Belvoir, VA: Defense Technical Information Center, February 2014. http://dx.doi.org/10.21236/ada595228.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jaspan, Ciera, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic. Fort Belvoir, VA: Defense Technical Information Center, June 2008. http://dx.doi.org/10.21236/ada485458.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Giesecke, Normen. Ternary quantum logic. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5975.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Carter, Nicholas P. Magnetoelectronic Reconfigurable Logic. Fort Belvoir, VA: Defense Technical Information Center, October 2005. http://dx.doi.org/10.21236/ada444869.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bickford, Mark. Event Logic Assistant (Elan). Fort Belvoir, VA: Defense Technical Information Center, July 2008. http://dx.doi.org/10.21236/ada487443.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Dijck, José Van, and Thomas Poell. Understanding Social Media Logic. Librello, August 2013. http://dx.doi.org/10.12924/mac2013.01010002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logic of the work' for particular source types:
Journal articles Dissertations / Theses Books
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