Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/152419
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Adillón, Román | - |
dc.contributor.author | Verdú, B. (Buenaventura) | - |
dc.date.accessioned | 2020-03-10T14:16:03Z | - |
dc.date.available | 2020-03-10T14:16:03Z | - |
dc.date.issued | 1997 | - |
dc.identifier.uri | http://hdl.handle.net/2445/152419 | - |
dc.description | Preprint enviat per a la seva publicació en una revista científica. | ca |
dc.description.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. | ca |
dc.format.extent | 18 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.publisher | Universitat de Barcelona | ca |
dc.relation.isformatof | Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 37.27] | - |
dc.relation.ispartofseries | Mathematics Preprint Series; 232 | ca |
dc.rights | (c) Romàn Adillon et al., 1997 | - |
dc.source | Preprints de Matemàtiques - Mathematics Preprint Series | - |
dc.subject.classification | Lògica matemàtica | - |
dc.subject.classification | Lògica algebraica | - |
dc.subject.other | Universitat de Barcelona. Institut de Matemàtica | - |
dc.title | Product logic and the deduction theorem | ca |
dc.type | info:eu-repo/semantics/article | ca |
dc.type | info:eu-repo/semantics/submittedVersion | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Preprints de Matemàtiques - Mathematics Preprint Series |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
MPS_N232.pdf | 709 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.