关于格点覆盖的一个注记

对于一个给定椭球,本文给出了它的任一全等椭球都包含一个整点的一个充分必要条件.     

Normal forms for fuzzy logics: a proof-theoretic approach

A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for ?ukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic.     

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

The study of structure systems, an abstraction of the concept of first‐order structures, is continued. Structure systems have algebraic systems as their algebraic reducts and their relational component consists of a collection of relation systems on the underlying functors. An analog of the expansion of a first‐order structure by constants is presented. Furthermore, analogs of the Diagram Lemma and the Reduction Operator Lemma from the theory of equality‐free first‐order structures are provided in the framework of structure systems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Categorical abstract algebraic logic: The categorical Suszko operator

Czelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non‐protoalgebraic logics, paralleling the well‐known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibniz operator was recently extended to cover the case of, the so‐called, protoalgebraic π‐institutions. In the present work, following the lead of Czelakowski, an attempt is made at lifting parts of the theory of the Suszko operator to the π‐institution framework. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Equilibria for networks with malicious users

We consider the problem of characterizing user equilibria and optimal solutions for selfish routing in a given network. We extend the known models by considering malicious behavior. While selfish users follow a strategy that minimizes their individual cost, a malicious user will use his flow through the network in an effort to cause the maximum possible damage to the overall cost. We define a generalized model, present characterizations of flows at equilibrium and prove bounds for the ratio of the social cost of a flow at equilibrium over the cost when centralized coordination among users is allowed. An extended abstract of this work appeared in the Proceedings of the 14th Annual International Symposium on Algorithms and Computation (ISAAC) 2003. G. Karakostas’ research was supported by an NSERC Discovery research grant and MITACS. Part of this research was done when Viglas was a postdoctoral fellow at the University of Toronto, Canada.