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

On product logic with truth-constants
by
Lluís Godo
Institut d'Investigació en Intelˇligčncia Artificial - CSIC
Coauthors: Roberto Cignoli (Departamento de Matemáticas, Universidad de Buenos Aires), Francesc Esteva (Institut d'Investigació en Intelˇligčncia Artificial - CSIC), Carles Noguera (Institut d'Investigació en Intelˇligčncia Artificial - CSIC), Petr Savicky (Institute of Computer Science, Academy of Sciencies of the Czech Republic)

page 1

page 2

PDF

Date received: April 6, 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-94.