On the Concept of a Notational Variant

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic

Political Institutions, State Capabilities and Public Policy - International Evidence

This paper introduces preliminary evidence from a cross-country database of policy characteristics and potential uses of that database. While most databases have emphasized either the content of policies (e.g., size of government deficits) or countries’ formal institutions (e.g., political regime, electoral system), the variables in this database reflect the policymaking capabilities of different polities. The paper attempts to explain these policy characteristics as depending on the workings of political institutions, using a logic emphasizing intertemporal political compromise. The paper also contrasts this logic with alternatives such as the veto players approach. The paper concludes by suggesting the use of these policy characteristics or state capabilities as explanatory variables for the effectiveness of public spending in various social areas.Political institutions, Public policies, Government capabilities, Veto players, Intertemporal cooperation, Development, Human Development Index, Public expenditures, Policy index, Adaptability, Stability, Judicial independence, Party institutionalization, Congress capabilities, Cabinet stability

Notes on stochastic (bio)-logic gates: the role of allosteric cooperativity

Recent experimental breakthroughs have finally allowed to implement in-vitro reaction kinetics (the so called {\em enzyme based logic}) which code for two-inputs logic gates and mimic the stochastic AND (and NAND) as well as the stochastic OR (and NOR). This accomplishment, together with the already-known single-input gates (performing as YES and NOT), provides a logic base and paves the way to the development of powerful biotechnological devices. The investigation of this field would enormously benefit from a self-consistent, predictive, theoretical framework. Here we formulate a complete statistical mechanical description of the Monod-Wyman-Changeaux allosteric model for both single and double ligand systems, with the purpose of exploring their practical capabilities to express logical operators and/or perform logical operations. Mixing statistical mechanics with logics, and quantitatively our findings with the available biochemical data, we successfully revise the concept of cooperativity (and anti-cooperativity) for allosteric systems, with particular emphasis on its computational capabilities, the related ranges and scaling of the involved parameters and its differences with classical cooperativity (and anti-cooperativity)

Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude

Expert supervision of an anti-skid control system of a commercial aircraft

A rule-based supervising system that incorporates fuzzy logic has been designed to back-up a conventional anti-skid braking system (ABS). Expressing the expert knowledge about the ABS in terms of linguistic rules, the supervising fuzzy system adapts the reference wheel slip of the ABS with respect to the actual runway condition. Two approaches are presented: The first uses a simple rule-based decision logic, which evaluates a new reference slip directly from the measured system variables. The second approach employes an explicit identification of the runway condition, which is used as input information of a fuzzy system to evaluate a new reference slip. This application example demonstrates the capabilities of a parallel use of conventional control techniques and fuzzy logic

Non-Volatile Magnonic Logic Circuits Engineering

We propose a concept of magnetic logic circuits engineering, which takes an advantage of magnetization as a computational state variable and exploits spin waves for information transmission. The circuits consist of magneto-electric cells connected via spin wave buses. We present the result of numerical modeling showing the magneto-electric cell switching as a function of the amplitude as well as the phase of the spin wave. The phase-dependent switching makes it possible to engineer logic gates by exploiting spin wave buses as passive logic elements providing a certain phase-shift to the propagating spin waves. We present a library of logic gates consisting of magneto-electric cells and spin wave buses providing 0 or p phase shifts. The utilization of phases in addition to amplitudes is a powerful tool which let us construct logic circuits with a fewer number of elements than required for CMOS technology. As an example, we present the design of the magnonic Full Adder Circuit comprising only 5 magneto-electric cells. The proposed concept may provide a route to more functional wave-based logic circuitry with capabilities far beyond the limits of the traditional transistor-based approach