Cargando…
Ten problems in Gödel logic
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Berlin Heidelberg
2016
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7175704/ https://www.ncbi.nlm.nih.gov/pubmed/32355463 http://dx.doi.org/10.1007/s00500-016-2366-9 |
| _version_ | 1783524884125581312 |
|---|---|
| author | Aguilera, Juan P. Baaz, Matthias |
| author_facet | Aguilera, Juan P. Baaz, Matthias |
| author_sort | Aguilera, Juan P. |
| collection | PubMed |
| description | |
| format | Online Article Text |
| id | pubmed-7175704 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2016 |
| publisher | Springer Berlin Heidelberg |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-71757042020-04-28 Ten problems in Gödel logic Aguilera, Juan P. Baaz, Matthias Soft comput Focus Springer Berlin Heidelberg 2016-09-28 2017 /pmc/articles/PMC7175704/ /pubmed/32355463 http://dx.doi.org/10.1007/s00500-016-2366-9 Text en © The Author(s) 2016 Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. |
| spellingShingle | Focus Aguilera, Juan P. Baaz, Matthias Ten problems in Gödel logic |
| title | Ten problems in Gödel logic |
| title_full | Ten problems in Gödel logic |
| title_fullStr | Ten problems in Gödel logic |
| title_full_unstemmed | Ten problems in Gödel logic |
| title_short | Ten problems in Gödel logic |
| title_sort | ten problems in gödel logic |
| topic | Focus |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7175704/ https://www.ncbi.nlm.nih.gov/pubmed/32355463 http://dx.doi.org/10.1007/s00500-016-2366-9 |
| work_keys_str_mv | AT aguilerajuanp tenproblemsingodellogic AT baazmatthias tenproblemsingodellogic |