Atlas home || Conferences | Abstracts | about Atlas

AAA76 - 76th Workshop on General Algebra (76. Arbeitstagung Allgemeine Algebra)
May 22-25, 2008
Department of Algebra, Johannes Kepler University Linz
Linz, Austria

Organizers
Erhard Aichinger, Peter Mayr, Matt Nickodemus, Günter Pilz

View Abstracts
Conference Homepage

Lindenbaum quantales on distinguished substructural logics
by
David Kruml
Masaryk University

The intuitionistic, noncommutative, linear, and multi-valued logics represent (essentially independent) ways of generalizing classical logic. The respective algebraic counterparts belong to certain classes of quantales.

Date received: May 12, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawc-60.