Semigroups in Complete Lattices Quantales, Modules and Related Topics /
This monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within the...
Saved in:
| Main Author: | Eklund, Patrik (Author) |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Developments in Mathematics,
54 |
| Subjects: | |
| ISBN: | 9783319789484 |
| ISSN: | 1389-2177 ; |
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
Geometry of Moduli
Published: (2018)
Published: (2018)
Loading…
Introduction to the Theory of Schemes
by: Manin, Yuri I.
Published: (2018)
by: Manin, Yuri I.
Published: (2018)
Loading…
Homological Methods, Representation Theory, and Cluster Algebras
Published: (2018)
Published: (2018)
Loading…
Quantum Groups and Noncommutative Geometry
by: Manin, Yuri I.
Published: (2018)
by: Manin, Yuri I.
Published: (2018)
Loading…
2016 MATRIX Annals
Published: (2018)
Published: (2018)
Loading…
Building Bridges Between Algebra and Topology
by: Chachólski, Wojciech
Published: (2018)
by: Chachólski, Wojciech
Published: (2018)
Loading…
Algebras and Representation Theory
by: Erdmann, Karin
Published: (2018)
by: Erdmann, Karin
Published: (2018)
Loading…
Monomial Ideals and Their Decompositions
by: Moore, W. Frank
Published: (2018)
by: Moore, W. Frank
Published: (2018)
Loading…
Geometric and Topological Aspects of the Representation Theory of Finite Groups PIMS Summer School and Workshop, July 27-August 5, 2016 /
Published: (2018)
Published: (2018)
Loading…
Fuzzy Lie Algebras
by: Akram, Muhammad
Published: (2018)
by: Akram, Muhammad
Published: (2018)
Loading…
Algebraic Methods in General Rough Sets
Published: (2018)
Published: (2018)
Loading…
Poset Codes: Partial Orders, Metrics and Coding Theory
by: Firer, Marcelo
Published: (2018)
by: Firer, Marcelo
Published: (2018)
Loading…
Orphomodular lattices : Algebraic approach /
by: Beran, Ladislav
Published: (1984)
by: Beran, Ladislav
Published: (1984)
Loading…
Linear Algebra
by: Nair, M. Thamban
Published: (2018)
by: Nair, M. Thamban
Published: (2018)
Loading…
Applied Linear Algebra
by: Olver, Peter J.
Published: (2018)
by: Olver, Peter J.
Published: (2018)
Loading…
A History of Abstract Algebra From Algebraic Equations to Modern Algebra /
by: Gray, Jeremy
Published: (2018)
by: Gray, Jeremy
Published: (2018)
Loading…
Asymptotic Differential Algebra and Model Theory of Transseries /
by: Aschenbrenner, Matthias, et al.
Published: (2017)
by: Aschenbrenner, Matthias, et al.
Published: (2017)
Loading…
Generalized Inverses: Theory and Computations
by: Wang, Guorong
Published: (2018)
by: Wang, Guorong
Published: (2018)
Loading…
An Excursion through Elementary Mathematics, Volume III Discrete Mathematics and Polynomial Algebra /
by: Caminha Muniz Neto, Antonio
Published: (2018)
by: Caminha Muniz Neto, Antonio
Published: (2018)
Loading…
The Language of Self-Avoiding Walks Connective Constants of Quasi-Transitive Graphs /
by: Lindorfer, Christian
Published: (2018)
by: Lindorfer, Christian
Published: (2018)
Loading…
B-Model Gromov-Witten Theory
Published: (2018)
Published: (2018)
Loading…
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)
Published: (2018)
Loading…
Graph Theory Favorite Conjectures and Open Problems - 2 /
Published: (2018)
Published: (2018)
Loading…
Giovanni Battista Guccia Pioneer of International Cooperation in Mathematics /
by: Bongiorno, Benedetto
Published: (2018)
by: Bongiorno, Benedetto
Published: (2018)
Loading…
The Lattice of Subquasivarieties of a Locally Finite Quasivariety
by: Hyndman, Jennifer
Published: (2018)
by: Hyndman, Jennifer
Published: (2018)
Loading…
The Gröbner Cover
by: Montes, Antonio
Published: (2018)
by: Montes, Antonio
Published: (2018)
Loading…
The Diversity and Beauty of Applied Operator Theory
Published: (2018)
Published: (2018)
Loading…
Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)
Published: (2018)
Loading…
Singularities and Foliations. Geometry, Topology and Applications BMMS 2/NBMS 3, Salvador, Brazil, 2015 /
Published: (2018)
Published: (2018)
Loading…
The Lvov-Warsaw School. Past and Present
Published: (2018)
Published: (2018)
Loading…
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Published: (2018)
Published: (2018)
Loading…
Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
by: Rahman, Shahid
Published: (2018)
by: Rahman, Shahid
Published: (2018)
Loading…
Linear and Multilinear Algebra
Loading…
Communications in Algebra
Loading…
Linear Algebra and Analytic Geometry for Physical Sciences
by: Landi, Giovanni
Published: (2018)
by: Landi, Giovanni
Published: (2018)
Loading…
Solution of continuous nonlinear PDEs through order completion /
by: Oberguggenberger, Michael B.
Published: (1994)
by: Oberguggenberger, Michael B.
Published: (1994)
Loading…
Methods of Solving Number Theory Problems
by: Grigorieva, Ellina
Published: (2018)
by: Grigorieva, Ellina
Published: (2018)
Loading…
Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
by: Martino, Enrico
Published: (2018)
by: Martino, Enrico
Published: (2018)
Loading…
Truth, Existence and Explanation FilMat 2016 Studies in the Philosophy of Mathematics /
Published: (2018)
Published: (2018)
Loading…
Algebra From the Viewpoint of Galois Theory /
by: Bosch, Siegfried
Published: (2018)
by: Bosch, Siegfried
Published: (2018)
Similar Items
-
Geometry of Moduli
Published: (2018) -
Introduction to the Theory of Schemes
by: Manin, Yuri I.
Published: (2018) -
Homological Methods, Representation Theory, and Cluster Algebras
Published: (2018) -
Quantum Groups and Noncommutative Geometry
by: Manin, Yuri I.
Published: (2018) -
2016 MATRIX Annals
Published: (2018)

