El Dipòsit Digital ha actualitzat el programari. Qualsevol incidència que trobeu si us plau contacteu amb dipositdigital@ub.edu.

 
Miniatura

Fitxers

MPS_N232.pdf (709 KB)

Tipus de document

Article

Versió

Versió enviada

Data de publicació

1997
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/152419

Product logic and the deduction theorem

Títol de la revista

Autors

ISSN de la revista

Títol del volum

Resum

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.

Descripció

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

Matèries

Lògica matemàtica, Lògica algebraica

Matèries (anglès)

Universitat de Barcelona. Institut de Matemàtica

Citació

Col·leccions

Preprints de Matemàtiques - Mathematics Preprint Series

Citació

ADILLÓN, Román, VERDÚ, B. (buenaventura). Product logic and the deduction theorem. [consulta: 25 de novembre de 2025]. [Disponible a: https://hdl.handle.net/2445/152419]

Exportar metadades

JSON - METS

Compartir registre