Atlas home || Conferences | Abstracts | about Atlas

Algebraic and Topological Methods in Non-Classical Logics II
June 15-18, 2005
University of Barcelona
Barcelona, Spain

Organizers
Josep Maria Font (chair), Àngel Gil, José Gil, Joan Gispert, Carles Noguera, Antoni Torrens, Ventura Verdú

View Abstracts
Conference Homepage

Extending the monoidal t-norm based logic with an independent involutive negation
by
Tommaso Flaminio
Dipartimento di Matematica, Università di Siena (Italy)
Coauthors: Enrico Marchioni - Departamento de Lógica, Universidad de Salamanca (Spain)

page 1

page 2

PDF

Date received: March 15, 2005

Copyright © 2005 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 # capu-37.