Introduction: Proof-theoretic Semantics
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2006 |
| Outros Autores: | |
| Tipo de documento: | Artigo |
| Idioma: | eng |
| Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
| Texto Completo: | http://hdl.handle.net/10316/7627 https://doi.org/10.1007/s11229-004-6292-5 |
Resumo: | Without Abstract |
| id |
RCAP_0d0f26a54d1a96aa50b02cb93c447d12 |
|---|---|
| oai_identifier_str |
oai:estudogeral.uc.pt:10316/7627 |
| network_acronym_str |
RCAP |
| network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
| repository_id_str |
|
| spelling |
Introduction: Proof-theoretic SemanticsWithout Abstract2006info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/7627http://hdl.handle.net/10316/7627https://doi.org/10.1007/s11229-004-6292-5engSynthese. 148:3 (2006) 503-506Kahle, ReinhardSchroeder-Heister, Peterinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2019-06-01T18:11:20ZPortal AgregadorONG |
| dc.title.none.fl_str_mv |
Introduction: Proof-theoretic Semantics |
| title |
Introduction: Proof-theoretic Semantics |
| spellingShingle |
Introduction: Proof-theoretic Semantics Kahle, Reinhard |
| title_short |
Introduction: Proof-theoretic Semantics |
| title_full |
Introduction: Proof-theoretic Semantics |
| title_fullStr |
Introduction: Proof-theoretic Semantics |
| title_full_unstemmed |
Introduction: Proof-theoretic Semantics |
| title_sort |
Introduction: Proof-theoretic Semantics |
| author |
Kahle, Reinhard |
| author_facet |
Kahle, Reinhard Schroeder-Heister, Peter |
| author_role |
author |
| author2 |
Schroeder-Heister, Peter |
| author2_role |
author |
| dc.contributor.author.fl_str_mv |
Kahle, Reinhard Schroeder-Heister, Peter |
| description |
Without Abstract |
| publishDate |
2006 |
| dc.date.none.fl_str_mv |
2006 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10316/7627 http://hdl.handle.net/10316/7627 https://doi.org/10.1007/s11229-004-6292-5 |
| url |
http://hdl.handle.net/10316/7627 https://doi.org/10.1007/s11229-004-6292-5 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
Synthese. 148:3 (2006) 503-506 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
| instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
| instacron_str |
RCAAP |
| institution |
RCAAP |
| reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
| collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1777302669720813568 |