101 research outputs found
Singly generated quasivarieties and residuated structures
A quasivariety K of algebras has the joint embedding property (JEP) iff it is
generated by a single algebra A. It is structurally complete iff the free
countably generated algebra in K can serve as A. A consequence of this demand,
called "passive structural completeness" (PSC), is that the nontrivial members
of K all satisfy the same existential positive sentences. We prove that if K is
PSC then it still has the JEP, and if it has the JEP and its nontrivial members
lack trivial subalgebras, then its relatively simple members all belong to the
universal class generated by one of them. Under these conditions, if K is
relatively semisimple then it is generated by one K-simple algebra. It is a
minimal quasivariety if, moreover, it is PSC but fails to unify some finite set
of equations. We also prove that a quasivariety of finite type, with a finite
nontrivial member, is PSC iff its nontrivial members have a common retract. The
theory is then applied to the variety of De Morgan monoids, where we isolate
the sub(quasi)varieties that are PSC and those that have the JEP, while
throwing fresh light on those that are structurally complete. The results
illuminate the extension lattices of intuitionistic and relevance logics
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
The Distributional Compositional Categorical (DisCoCat) model is a
mathematical framework that provides compositional semantics for meanings of
natural language sentences. It consists of a computational procedure for
constructing meanings of sentences, given their grammatical structure in terms
of compositional type-logic, and given the empirically derived meanings of
their words. For the particular case that the meaning of words is modelled
within a distributional vector space model, its experimental predictions,
derived from real large scale data, have outperformed other empirically
validated methods that could build vectors for a full sentence. This success
can be attributed to a conceptually motivated mathematical underpinning, by
integrating qualitative compositional type-logic and quantitative modelling of
meaning within a category-theoretic mathematical framework.
The type-logic used in the DisCoCat model is Lambek's pregroup grammar.
Pregroup types form a posetal compact closed category, which can be passed, in
a functorial manner, on to the compact closed structure of vector spaces,
linear maps and tensor product. The diagrammatic versions of the equational
reasoning in compact closed categories can be interpreted as the flow of word
meanings within sentences. Pregroups simplify Lambek's previous type-logic, the
Lambek calculus, which has been extensively used to formalise and reason about
various linguistic phenomena. The apparent reliance of the DisCoCat on
pregroups has been seen as a shortcoming. This paper addresses this concern, by
pointing out that one may as well realise a functorial passage from the
original type-logic of Lambek, a monoidal bi-closed category, to vector spaces,
or to any other model of meaning organised within a monoidal bi-closed
category. The corresponding string diagram calculus, due to Baez and Stay, now
depicts the flow of word meanings.Comment: 29 pages, pending publication in Annals of Pure and Applied Logi
Categories of Residuated Lattices
We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on extended Priestley duality in which the ternary relation dualizing a residuated multiplication may be viewed as the graph of a partial function. We also present a new Esakia-like duality for Sugihara monoids in the spirit of Dunn\u27s binary Kripke-style semantics for the relevance logic R-mingle
Fuzzy Automata: A Quantitative Review
Classical automata theory cannot deal with the system uncertainty. To deal with the system uncertainty the concept of fuzzy finite automata was proposed. Fuzzy automata can be used in diverse applications such as fault detection, pattern matching, measuring the fuzziness between strings, description of natural languages, neural network, lexical analysis, image processing, scheduling problem and many more. In this paper, a methodical literature review is carried out on various research works in the field of Fuzzy automata and explained the challenging issues in the field of fuzzy automata
An alternative Gospel of structure: order, composition, processes
We survey some basic mathematical structures, which arguably are more
primitive than the structures taught at school. These structures are orders,
with or without composition, and (symmetric) monoidal categories. We list
several `real life' incarnations of each of these. This paper also serves as an
introduction to these structures and their current and potentially future uses
in linguistics, physics and knowledge representation.Comment: Introductory chapter to C. Heunen, M. Sadrzadeh, and E. Grefenstette.
Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse.
Oxford University Press, 201
Epimorphisms in varieties of subidempotent residuated structures
A commutative residuated lattice A is said to be subidempotent if the lower
bounds of its neutral element e are idempotent (in which case they naturally
constitute a Brouwerian algebra A*). It is proved here that epimorphisms are
surjective in a variety K of such algebras A (with or without involution),
provided that each finitely subdirectly irreducible algebra B in K has two
properties: (1) B is generated by lower bounds of e, and (2) the poset of prime
filters of B* has finite depth. Neither (1) nor (2) may be dropped. The proof
adapts to the presence of bounds. The result generalizes some recent findings
of G. Bezhanishvili and the first two authors concerning epimorphisms in
varieties of Brouwerian algebras, Heyting algebras and Sugihara monoids, but
its scope also encompasses a range of interesting varieties of De Morgan
monoids
Order, algebra, and structure: lattice-ordered groups and beyond
This thesis describes and examines some remarkable relationships existing between seemingly quite different properties (algebraic, order-theoretic, and structural) of ordered groups. On the one hand, it revisits the foundational aspects of the structure theory of lattice-ordered groups, contributing a novel systematization of its relationship with the theory of orderable groups. One of the main contributions in this direction is a connection between validity in varieties of lattice-ordered groups, and orders on groups; a framework is also provided that allows for a systematic account of the relationship between orders and preorders on groups, and the structure theory of lattice-ordered groups. On the other hand, it branches off in new directions, probing the frontiers of several different areas of current research. More specifically, one of the main goals of this thesis is to suitably extend results that are proper to the theory of lattice-ordered groups to the realm of more general, related algebraic structures; namely, distributive lattice-ordered monoids and residuated lattices. The theory of lattice-ordered groups provides themain source of inspiration for this thesis’ contributions on these topics
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
We consider a simple modal logic whose non-modal part has conjunction and
disjunction as connectives and whose modalities come in adjoint pairs, but are
not in general closure operators. Despite absence of negation and implication,
and of axioms corresponding to the characteristic axioms of (e.g.) T, S4 and
S5, such logics are useful, as shown in previous work by Baltag, Coecke and the
first author, for encoding and reasoning about information and misinformation
in multi-agent systems. For such a logic we present an algebraic semantics,
using lattices with agent-indexed families of adjoint pairs of operators, and a
cut-free sequent calculus. The calculus exploits operators on sequents, in the
style of "nested" or "tree-sequent" calculi; cut-admissibility is shown by
constructive syntactic methods. The applicability of the logic is illustrated
by reasoning about the muddy children puzzle, for which the calculus is
augmented with extra rules to express the facts of the muddy children scenario.Comment: This paper is the full version of the article that is to appear in
the ENTCS proceedings of the 25th conference on the Mathematical Foundations
of Programming Semantics (MFPS), April 2009, University of Oxfor
- …