dc.contributor.author | Campercholi, Miguel Alejandro Carlos | |
dc.contributor.author | Stronkowski, Michal M. | |
dc.contributor.author | Vaggione, Diego José | |
dc.date.accessioned | 2021-10-01T16:30:00Z | |
dc.date.available | 2021-10-01T16:30:00Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Campercholi, M., Stronkowski, M. y Vaggione, D. (2015). On structural completeness versus almost structural completeness problem. [versión enviada para evaluación] ( Publicada posteriormente en Logic Journal of the Interest Group in Pure and Applied Logic, 23 (2), 235-246. https://doi.org/10.1093/jigpal/jzu032 ) | es |
dc.identifier.uri | http://hdl.handle.net/11086/20551 | |
dc.identifier.uri | https://doi.org/10.1093/jigpal/jzu032 | |
dc.description.abstract | We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, we obtain a characterization of structurally complete discriminator varieties. An interesting corollary in logic follows: Let L be a propositional logic/deductive system in the language with formulas for verum, which is a theorem, and falsum, which is not a theorem. Assume also that L has an adequate semantics given by a discriminator variety. Then L is structurally complete if and only if it is maximal. All such logics/deductive systems are almost structurally complete. | en |
dc.format.medium | Impreso; Electrónico y/o Digital | |
dc.language.iso | eng | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.source | ISSN 1367-0751 | |
dc.subject | Structural completeness | en |
dc.subject | Almost structural completeness | en |
dc.subject | Discriminator varieties | en |
dc.subject | Semisimple quasivarieties | en |
dc.subject | Minimal varieties | en |
dc.subject | Minimal quasivarieties | en |
dc.title | On structural completeness versus almost structural completeness problem : a discriminator varieties case study | en |
dc.type | article | es |
dc.description.version | submittedVersion | es |
dc.description.fil | Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.description.fil | Fil: Stronkowski, Michal M. Warsaw University of Technology. Faculty of Mathematics and Information Sciences; Polonia. | es |
dc.description.fil | Fil: Vaggione, Diego José. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.journal.city | Oxford | en |
dc.journal.country | Reino Unido | es |
dc.journal.editorial | Oxford University Press | en |
dc.journal.number | 2 | es |
dc.journal.pagination | 235-246 | es |
dc.journal.referato | Con referato | |
dc.journal.title | Logic Journal of the Interest Group in Pure and Applied Logic | en |
dc.journal.volume | 23 | es |
dc.description.field | Matemática Pura | |