On structural completeness versus almost structural completeness problem : a discriminator varieties case study
Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
| Main Authors: | , , |
|---|---|
| Format: | submittedVersion |
| Language: | eng |
| Published: |
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/20551 https://doi.org/10.1093/jigpal/jzu032 |
| _version_ | 1801216530723110912 |
|---|---|
| author | Campercholi, Miguel Alejandro Carlos Stronkowski, Michal M. Vaggione, Diego José |
| author_facet | Campercholi, Miguel Alejandro Carlos Stronkowski, Michal M. Vaggione, Diego José |
| author_sort | Campercholi, Miguel Alejandro Carlos |
| collection | Repositorio Digital Universitario |
| description | Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. |
| format | submittedVersion |
| id | rdu-unc.20551 |
| institution | Universidad Nacional de Cordoba |
| language | eng |
| publishDate | 2021 |
| record_format | dspace |
| spelling | rdu-unc.205512023-05-22T18:52:47Z On structural completeness versus almost structural completeness problem : a discriminator varieties case study Campercholi, Miguel Alejandro Carlos Stronkowski, Michal M. Vaggione, Diego José Structural completeness Almost structural completeness Discriminator varieties Semisimple quasivarieties Minimal varieties Minimal quasivarieties submittedVersion Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Fil: Stronkowski, Michal M. Warsaw University of Technology. Faculty of Mathematics and Information Sciences; Polonia. Fil: Vaggione, Diego José. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 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. submittedVersion Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Fil: Stronkowski, Michal M. Warsaw University of Technology. Faculty of Mathematics and Information Sciences; Polonia. Fil: Vaggione, Diego José. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Matemática Pura 2021-10-01T16:30:00Z 2021-10-01T16:30:00Z 2015 article 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 ) http://hdl.handle.net/11086/20551 https://doi.org/10.1093/jigpal/jzu032 eng Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ Impreso; Electrónico y/o Digital ISSN 1367-0751 |
| spellingShingle | Structural completeness Almost structural completeness Discriminator varieties Semisimple quasivarieties Minimal varieties Minimal quasivarieties Campercholi, Miguel Alejandro Carlos Stronkowski, Michal M. Vaggione, Diego José On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title | On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title_full | On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title_fullStr | On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title_full_unstemmed | On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title_short | On structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| title_sort | on structural completeness versus almost structural completeness problem a discriminator varieties case study |
| topic | Structural completeness Almost structural completeness Discriminator varieties Semisimple quasivarieties Minimal varieties Minimal quasivarieties |
| url | http://hdl.handle.net/11086/20551 https://doi.org/10.1093/jigpal/jzu032 |
| work_keys_str_mv | AT campercholimiguelalejandrocarlos onstructuralcompletenessversusalmoststructuralcompletenessproblemadiscriminatorvarietiescasestudy AT stronkowskimichalm onstructuralcompletenessversusalmoststructuralcompletenessproblemadiscriminatorvarietiescasestudy AT vaggionediegojose onstructuralcompletenessversusalmoststructuralcompletenessproblemadiscriminatorvarietiescasestudy |