Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

MPS_N232.pdf (709 KB)

Document type

Article

Version

Submitted version

Publication date

1997

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/152419

Product logic and the deduction theorem

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

In this paper we prove the following negative result: Product Logic [9] does not have the Deduction Theorem, that is, there is no binary defined connective in the language of Product Logic such that the Deduction Theorem is satisfied with respect to it. We prove this theorem mainly by using algebraic methods: we prove that Product Logic is algebraizable, that the variety of Product Algebras is its equivalent quasivariety semantics and that this variety has no equationally definable principal congruences.

Description

Preprint enviat per a la seva publicació en una revista científica.

Subject

Lògica matemàtica, Lògica algebraica

Subject (English)

Universitat de Barcelona. Institut de Matemàtica

Citation

Collections

Preprints de Matemàtiques - Mathematics Preprint Series

Citation

ADILLÓN, Román and VERDÚ, B. (Buenaventura). Product logic and the deduction theorem. [consulted: 15 of August of 2026]. Available at: https://hdl.handle.net/2445/152419

Export metadata

JSON - METS

Share record