Mostrar el registro sencillo del ítem
dc.contributor.author
Campercholi, Miguel Alejandro Carlos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Stronkowski, Michal
dc.contributor.author
Vaggione, Diego Jose
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2018-01-03T19:06:18Z
dc.date.issued
2014-12
dc.identifier.citation
Campercholi, Miguel Alejandro Carlos; Vaggione, Diego Jose; Stronkowski, Michal; On structural completeness versus almost structural completeness problem: A discriminator varieties case study; Oxford University Press; Logic Journal Of The Igpl (print); 23; 2; 12-2014; 235-246
dc.identifier.issn
1367-0751
dc.identifier.uri
http://hdl.handle.net/11336/32195
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford University Press
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Structural Completeness
dc.subject
Almost Structural Completeness
dc.subject
Minimal Varieties
dc.subject
Minimal Quasivarieties
dc.subject.classification
Matemática Pura
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Matemáticas
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2017-12-26T20:39:40Z
dc.journal.volume
23
dc.journal.number
2
dc.journal.pagination
235-246
dc.journal.pais
Reino Unido
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Oxford
dc.description.fil
Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.description.fil
Fil: Stronkowski, Michal. Warsaw University of Technology; Polonia
dc.description.fil
Fil: Vaggione, Diego Jose. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.journal.title
Logic Journal Of The Igpl (print)
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/jigpal/jzu032
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/23/2/235/651382?redirectedFrom=fulltext
Archivos asociados