Disruptive Logic Architectures and Technologies From Device to System Level

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Risk Management Technologies With Logic and Probabilistic Models

Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic

The politics of logic Badiou, Wittgenstein, and the consequences of formalism

The logic of autonomy law, morality and autonomous reasoning

Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic

The Rise of China vs. the Logic of Strategy

Formal Languages in Logic A Philosophical and Cognitive Analysis

Graph Structure and Monadic Second-Order Logic A Language-Theoretic Approach

The emotional and priestly logic of plural marriage

Kantian reason and Hegelian spirit the idealistic logic of modern theology