On structural completeness versus almost structural completeness problem : a discriminator varieties case study
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 varie...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | article |
| Lenguaje: | Inglés |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/20551 https://doi.org/10.1093/jigpal/jzu032 |
| Aporte de: |
| id |
I10-R14111086-20551 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de Córdoba |
| institution_str |
I-10 |
| repository_str |
R-141 |
| collection |
Repositorio Digital Universitario (UNC) |
| language |
Inglés |
| topic |
Structural completeness Almost structural completeness Discriminator varieties Semisimple quasivarieties Minimal varieties Minimal quasivarieties |
| 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 |
| topic_facet |
Structural completeness Almost structural completeness Discriminator varieties Semisimple quasivarieties Minimal varieties Minimal quasivarieties |
| description |
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. |
| format |
article |
| 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 |
| title |
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_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_sort |
on structural completeness versus almost structural completeness problem : a discriminator varieties case study |
| publishDate |
2021 |
| 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 |
| bdutipo_str |
Repositorios |
| _version_ |
1764820394476306432 |