Results 1  10
of
130
Action Logic and Pure Induction
 Logics in AI: European Workshop JELIA '90, LNCS 478
, 1991
"... In FloydHoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as onthefly assertions whose truth is evaluated along intervals instead of at states. Action logic is an equational theory ACT conservatively ex ..."
Abstract

Cited by 50 (6 self)
 Add to MetaCart
In FloydHoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as onthefly assertions whose truth is evaluated along intervals instead of at states. Action logic is an equational theory ACT conservatively extending the equational theory REG of regular expressions with operations preimplication a!b (had a then b) and postimplication b/a (b ifever a). Unlike REG, ACT is finitely based, makes a reflexive transitive closure, and has an equivalent Hilbert system. The crucial axiom is that of pure induction, (a!a) = a!a. This work was supported by the National Science Foundation under grant number CCR8814921. 1 Introduction Many logics of action have been proposed, most of them in the past two decades. Here we define action logic, ACT, a new yet simple juxtaposition of old ideas, and show off some of its attractive aspects. The language of action logic is that of equational regular expressio...
Diagram Groups
, 1996
"... this paper, we study 2dimensional analogies of this idea: semigroup diagrams, monoid pictures, annular diagrams, cylindric pictures and braided pictures. While the groups of linear diagrams are all free, we get a large class of groups which are representable by 2dimensional semigroup diagrams. Sem ..."
Abstract

Cited by 38 (6 self)
 Add to MetaCart
this paper, we study 2dimensional analogies of this idea: semigroup diagrams, monoid pictures, annular diagrams, cylindric pictures and braided pictures. While the groups of linear diagrams are all free, we get a large class of groups which are representable by 2dimensional semigroup diagrams. Semigroup diagrams, are wellknown geometrical objects used in the study of Thue systems (=semigroup presentations). They were first formally introduced by Kashintsev [16], see also Remmers [29], Stallings [34] or Higgins [13]. The role of semigroup diagrams in the study of semigroups is similar to the role of van Kampen diagrams in the study of groups (see [22] or [26])
Dynamic Algebras as a wellbehaved fragment of Relation Algebras
 In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425
, 1990
"... The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect ..."
Abstract

Cited by 33 (5 self)
 Add to MetaCart
The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional dynamic algebras. Dept. of Computer Science, Stanford, CA 94305. This paper is based on a talk given at the conference Algebra and Computer Science, Ames, Iowa, June 24, 1988. It will appear in the proceedings of that conference, to be published by SpringerVerlag in the Lecture Notes in Computer Science series. This work was supported by the National Science Foundation under grant number CCR8814921 ...
The Physics and Mathematics of THE SECOND LAW OF THERMODYNAMICS
, 1999
"... The essential postulates of classical thermodynamics are formulated, from which the second law is deduced as the principle of increase of entropy in irreversible adiabatic processes that take one equilibrium state to another. The entropy constructed here is defined only for equilibrium states and n ..."
Abstract

Cited by 30 (3 self)
 Add to MetaCart
The essential postulates of classical thermodynamics are formulated, from which the second law is deduced as the principle of increase of entropy in irreversible adiabatic processes that take one equilibrium state to another. The entropy constructed here is defined only for equilibrium states and no attempt is made to define it otherwise. Statistical mechanics does not enter these considerations. One of the main concepts that makes everything work is the comparison principle (which, in essence, states that given any two states of the same chemical composition at least one is adiabatically accessible from the other) and we show that it can be derived from some assumptions about the pressure and thermal equilibrium. Temperature is derived from entropy, but at the start not even the concept of ‘hotness’ is assumed. Our formulation offers a certain clarity and rigor that goes beyond most textbook discussions of the second law.
Noncommutative logic II: sequent calculus and phase semantics
, 1998
"... INTRODUCTION Noncommutative logic is a unication of :  commutative linear logic (Girard 1987) and  cyclic linear logic (Girard 1989; Yetter 1990), a classical conservative extension of the Lambek calculus (Lambek 1958). In a previous paper with Abrusci (Abrusci and Ruet 1999) we presented the mu ..."
Abstract

Cited by 25 (6 self)
 Add to MetaCart
INTRODUCTION Noncommutative logic is a unication of :  commutative linear logic (Girard 1987) and  cyclic linear logic (Girard 1989; Yetter 1990), a classical conservative extension of the Lambek calculus (Lambek 1958). In a previous paper with Abrusci (Abrusci and Ruet 1999) we presented the multiplicative fragment of noncommutative logic, with proof nets and a sequent calculus based on the structure of order varieties, and a sequentialization theorem. Here we consider full propositional noncommutative logic. Noncommutative logic. Let us rst review the basic ideas. Consider the purely noncommutative fragment of linear logic, obtained by removing the exchange rule entirely : ` ; ; ; , ` ; ; ; y This work has been partly carried out at LIENSCNRS, Ecole Normale Superieure (Paris), at McGill University
The equivalence problem of multitape finite automata
 Theoretical Computer Science
, 1991
"... Using a result of B.H. Neumann we extend Eilenberg’s Equality Theorem to a general result which implies that the multiplicity equivalence problem of two (nondeterministic) multitape finite automata is decidable. As a corollary we solve a long standing open problem in automata theory, namely, the equ ..."
Abstract

Cited by 23 (2 self)
 Add to MetaCart
Using a result of B.H. Neumann we extend Eilenberg’s Equality Theorem to a general result which implies that the multiplicity equivalence problem of two (nondeterministic) multitape finite automata is decidable. As a corollary we solve a long standing open problem in automata theory, namely, the equivalence problem for multitape deterministic finite automata. The main theorem states that there is a finite test set for the multiplicity equivalence of finite automata over conservative monoids embeddable in a fully ordered group. 1
Topology on the spaces of orderings of groups
, 2003
"... A natural topology on the space of left orderings of an arbitrary semigroup is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a new proof of the existence of universal Gröbner bases. ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
A natural topology on the space of left orderings of an arbitrary semigroup is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a new proof of the existence of universal Gröbner bases.
Measurement Of Membership Functions: Theoretical And Empirical Work
, 1995
"... This chapter presents a review of various interpretations of the fuzzy membership function together with ways of obtaining a membership function. We emphasize that different interpretations of the membership function call for different elicitation methods. We try to make this distinction clear u ..."
Abstract

Cited by 21 (1 self)
 Add to MetaCart
This chapter presents a review of various interpretations of the fuzzy membership function together with ways of obtaining a membership function. We emphasize that different interpretations of the membership function call for different elicitation methods. We try to make this distinction clear using techniques from measurement theory.
MeasurementTheoretic Frameworks for Fuzzy Set Theory
, 1997
"... Two different but related measurement problems are considered within the fuzzy set theory. The first problem is the membership measurement and the second is property ranking. These two measurement problems are combined and two axiomatizations of fuzzy set theory are obtained. In the first one, the i ..."
Abstract

Cited by 18 (10 self)
 Add to MetaCart
Two different but related measurement problems are considered within the fuzzy set theory. The first problem is the membership measurement and the second is property ranking. These two measurement problems are combined and two axiomatizations of fuzzy set theory are obtained. In the first one, the indifference is transitive but in the second one this drawback is removed by utilizing interval orders.
Factorization of Almost Periodic Matrix Functions of Several Variables and Toeplitz Operators
 Math.Notes45 (1989), no. 5–6, 482–488. MR 90k:47033
"... this paper. We let (AP ..."