The ubiquity of conservative translations

We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal.Comment: 15 pages; to appear in Review of Symbolic Logi

Computable functions, quantum measurements, and quantum dynamics

We construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolutions, would contradict the Church-Turing thesis which lies at the foundation of computer science. We conclude that either the Church-Turing thesis needs revision, or that only restricted classes of observables may be realized, in principle, as measurements, and that only restricted classes of unitary operators may be realized, in principle, as dynamics.Comment: 4 pages, REVTE

The World of Combinatorial Fuzzy Problems and the Efficiency of Fuzzy Approximation Algorithms

We re-examine a practical aspect of combinatorial fuzzy problems of various types, including search, counting, optimization, and decision problems. We are focused only on those fuzzy problems that take series of fuzzy input objects and produce fuzzy values. To solve such problems efficiently, we design fast fuzzy algorithms, which are modeled by polynomial-time deterministic fuzzy Turing machines equipped with read-only auxiliary tapes and write-only output tapes and also modeled by polynomial-size fuzzy circuits composed of fuzzy gates. We also introduce fuzzy proof verification systems to model the fuzzification of nondeterminism. Those models help us identify four complexity classes: Fuzzy-FPA of fuzzy functions, Fuzzy-PA and Fuzzy-NPA of fuzzy decision problems, and Fuzzy-NPAO of fuzzy optimization problems. Based on a relative approximation scheme targeting fuzzy membership degree, we formulate two notions of "reducibility" in order to compare the computational complexity of two fuzzy problems. These reducibility notions make it possible to locate the most difficult fuzzy problems in Fuzzy-NPA and in Fuzzy-NPAO.Comment: A4, 10pt, 10 pages. This extended abstract already appeared in the Proceedings of the Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS 2014) and 15th International Symposium on Advanced Intelligent Systems (ISIS 2014), December 3-6, 2014, Institute of Electrical and Electronics Engineers (IEEE), pp. 29-35, 201

On Exact and Approximate Solutions for Hard Problems: An Alternative Look

We discuss in an informal, general audience style the da Costa-Doria conjecture about the independence of the P = NP hypothesis and try to briefly assess its impact on practical situations in economics. The paper concludes with a discussion of the Coppe-Cosenza procedure, which is an approximate, partly heuristic algorithm for allocation problems.P vs. NP , allocation problem, assignment problem, traveling salesman, exact solution for NP problems, approximate solutions for NP problems, undecidability, incompleteness

Canonical Quantization of (2+1)-Dimensional Gravity

We consider the quantum dynamics of both open and closed two- dimensional universes with ``wormholes'' and particles. The wave function is given as a sum of freely propagating amplitudes, emitted from a network of mapping class images of the initial state. Interference between these amplitudes gives non-trivial scattering effects, formally analogous to the optical diffraction by a multidimensional grating; the ``bright lines'' correspond to the most probable geometries.Comment: 22 pages, Mexico preprint ICN-UNAM-93-1