𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The multiplicative fragment of the Yanov equational theory

✍ Scribed by Igor Dolinka

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
216 KB
Volume
301
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

We give a ΓΏnite equational axiomatization for +-free identities of (regular) languages which contain the empty word. The axioms for the whole equational theory of such languages were given by Yanov.

πŸ“œ SIMILAR VOLUMES

The Essentially Equational Theory of Hor
The Essentially Equational Theory of Horn Classes
✍ Hans-E. Porst πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 233 KB

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see ). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see ). Here we present a similar tr

Non-commutative logic I: the multiplicat
Non-commutative logic I: the multiplicative fragment
✍ V.Michele Abrusci; Paul Ruet πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 283 KB

We introduce proof nets and sequent calculus for the multiplicative fragment of noncommutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order va