Results 311 to 320 of about 3,500,861 (360)

The Logic of Political Survival

, 2003
The authors of this ambitious book address a fundamental political question: why are leaders who produce peace and prosperity turned out of office while those who preside over corruption, war, and misery endure?
B. B. D. Mesquita, Alastair Smith, Randolph M. Siverson, J. D. Morrow   +3 more
semanticscholar   +1 more source

A Verification Logic for Rewriting Logic

Journal of Logic and Computation, 2005
Summary: This paper proposes the development of a logic for verifying properties of programs in rewriting logic. Rewriting logic is primarily a logic of change, in which deduction corresponds directly to computation, and not a logic to talk about change in a more indirect and global manner, such as the different modal and temporal logics that can be ...
Martí-Oliet, N, Pita, I, Fiadeiro, JL, Meseguer, J, Maibaum, T   +4 more
openaire   +3 more sources

Fuzzy logic = computing with words

IEEE transactions on fuzzy systems, 1996
As its name suggests, computing with words (CW) is a methodology in which words are used in place of numbers for computing and reasoning. The point of this note is that fuzzy logic plays a pivotal role in CW and vice-versa.
L. Zadeh
semanticscholar   +1 more source

Modal Logic as Dialogical Logic

Synthese, 2001
The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy.
openaire   +4 more sources

The Logic of Scientific Discovery.

, 1959
Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge.
K. Popper
semanticscholar   +1 more source

Logic and logics

1978
…since one never knows what will be the line of advance, it is always most rash to condemn what is not quite in the fashion of the moment. Russell 1906, cited in Rescher 1974 ‘Classical’ and ‘non-classical’ logics There are a great many formal logical systems. In fact, ever since the ‘classical’ logical apparatus was formulated, there have been
openaire   +2 more sources

The Logic of Practice

, 1990
Preface. Part I: Critique of Theoretical Reason. Foreword. 1. Objectifying Objectification. 2. The Imaginary Anthropology of Subjectivism. 3. Structures, Habitus, Practices. 4. Belief and the Body. 5. The Logic of Practice. 6. The Work of Time.
P. Bourdieu
semanticscholar   +1 more source

Service Innovation: A Service-Dominant Logic Perspective

MIS Q., 2015
In this article, we offer a broadened view of service innovation--one grounded in service-dominant logic--that transcends the tangible--intangible and producer--consumer divides that have plagued extant research in this area.
R. Lusch, S. Nambisan
semanticscholar   +1 more source

The Logic of Hegel's Logic

Journal of the History of Philosophy, 1979
One of the problems involved in doing the history of philosophy is reinterpreting past philosophers in such a way that the relevance of their work to contemporary discussion can become clear. In doing so one often finds that certain doctrines to which a philosopher himself attached great significance may not be central to a particular line of his ...
openaire   +2 more sources

A framework for linguistic logic programming

, 2010
Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications.
T. Cao, N. Noi
semanticscholar   +1 more source